chiark / gitweb /
Revert: split into `revert' and `revert-full-system'
-rw-r--r-- 441 .gitignore
-rw-r--r-- 993 CREDITS
-rw-r--r-- 1885 Makefile
-rw-r--r-- 116 TODO
drwxr-xr-x - debian
drwxr-xr-x - doc
drwxr-xr-x - hosts
drwxr-xr-x - lib
drwxr-xr-x - runner
-rw-r--r-- 687 settings.make
drwxr-xr-x - virt-subproc
drwxr-xr-x - xen