]> oss.titaniummirror.com Git - deputy-tinyos.git/tree - debian/patches/
deputy-tinyos was already debianized, but we need to change its debianization
[deputy-tinyos.git] / debian / patches /
drwxr-xr-x   ..
-rwxr-xr-x 271892 001_tinyos.dpatch
-rw-r--r-- 18 00list