chiark / gitweb /
source dir for copying things in
authorThomas Thurman <tthurman@gnome.org>
Tue, 18 Jan 2011 00:29:47 +0000 (19:29 -0500)
committerThomas Thurman <tthurman@gnome.org>
Tue, 18 Jan 2011 00:29:47 +0000 (19:29 -0500)
commit4037b0c4a8f0f4d4a228b2c5de5da3811968c80b
tree9494a6daf5ecc73ecb23406cbd84eb89857283b3
parent78fac1f0c307233d33175bc1c0f65b0f1fbd2115
source dir for copying things in
src/make-pages.py [new file with mode: 0644]