]> oss.titaniummirror.com Git - deputy-tinyos.git/tree - cil/
deputy-tinyos was already debianized, but we need to change its debianization
[deputy-tinyos.git] / cil /
drwxr-xr-x   ..
-rw-r--r-- 392 .cvsignore
-rwxr-xr-x 23 Bootstrap
-rw-r--r-- 1192 INSTALL
-rw-r--r-- 1718 LICENSE
-rw-r--r-- 1812 Makefile.gcc
-rw-r--r-- 22633 Makefile.in
-rw-r--r-- 745 Makefile.msvc
-rw-r--r-- 3216 NOTES
-rw-r--r-- 38 README
-rw-r--r-- 76 _tags
-rw-r--r-- 1965 aclocal.m4
drwxr-xr-x - bin
-rw-r--r-- 32 cil.itarget
-rw-r--r-- 1968 cil.spec.in
-rwxr-xr-x 44139 config.guess
-rw-r--r-- 289 config.h.in
-rw-r--r-- 193 config.mk.in
-rwxr-xr-x 29636 config.sub
-rwxr-xr-x 196082 configure
-rw-r--r-- 16719 configure.in
drwxr-xr-x - debian
drwxr-xr-x - doc
-rw-r--r-- 5598 install-sh
drwxr-xr-x - lib
-rw-r--r-- 808 myocamlbuild.ml
drwxr-xr-x - obj
drwxr-xr-x - ocamlutil
drwxr-xr-x - src
drwxr-xr-x - test