Michael Raskin 8630db2b55 More specific tracing of a relatively tricky replace once; account for default.nix being present everywhere.		2012-12-22 14:14:48 +04:00
..
attrset-to-dir.nix	* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless	2012-01-18 20:16:00 +00:00
attrset-to-dir.sh	update-upstream-data: Fix a small bug	2012-07-07 20:11:06 +04:00
create-src-info-git.sh
create-src-info.sh
design.txt
snippets.sh
test-case.nix
update-upstream-data.sh
update-walker-service-specific.sh	Update Asymptote	2012-12-04 10:33:37 +04:00
update-walker.sh	More specific tracing of a relatively tricky replace once; account for default.nix being present everywhere.	2012-12-22 14:14:48 +04:00
urls-from-page.sh	Update E prover	2012-12-09 00:36:38 +04:00