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	Small fixes to auto-updater	2010-06-23 04:50:03 +00:00
design.txt
snippets.sh	Use an SF version extractor with better chances to yield correct result by default	2010-06-23 04:58:07 +00:00
test-case.nix
update-upstream-data.sh	Dir-per-version SF layout seems to be more relevant now	2011-12-13 21:00:26 +00:00
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