]> matita.cs.unibo.it Git - helm.git/tree - helm/DEVEL/gdome_xslt/debian/
added debian stuff and a makefile with "dist" target
[helm.git] / helm / DEVEL / gdome_xslt / debian /
drwxr-xr-x   ..
-rw-r--r-- 443 changelog
-rw-r--r-- 1030 control
-rw-r--r-- 640 copyright
-rw-r--r-- 0 docs
-rw-r--r-- 14 libgdome2-xslt-ocaml-dev.dirs
-rw-r--r-- 26 libgdome2-xslt-ocaml-dev.examples
-rw-r--r-- 14 libgdome2-xslt-ocaml.dirs
-rw-r--r-- 31 libgdome2-xslt-ocaml.files
-rwxr-xr-x 1638 rules