]> oss.titaniummirror.com Git - deputy-tinyos.git/tree - doc/
deputy-tinyos was already debianized, but we need to change its debianization
[deputy-tinyos.git] / doc /
drwxr-xr-x   ..
-rwxr-xr-x 175 .cvsignore
-rwxr-xr-x 385 TODO
-rwxr-xr-x 9200 comment.sty
-rw-r--r-- 1897 deputy.1
-rwxr-xr-x 154367 deputy.tex
-rwxr-xr-x 3909 deputycode.pl
-rwxr-xr-x 846 fullpage.sty
-rwxr-xr-x 327 header.html.in
-rwxr-xr-x 2944 hevea.sty
drwxr-xr-x - html
-rwxr-xr-x 543 index.html.in
drwxr-xr-x - www