Davide P. Cervone 6037f7287f Change size of heading borders		2011-03-06 13:16:43 -05:00
..
html	Remove unneeded files (the images seem to add numbers each time the originals are processed; don't kno whow to prevent that)	2011-03-06 13:15:33 -05:00
source	Change size of heading borders	2011-03-06 13:16:43 -05:00
.gitignore	My wildcards didn't work, so exclude directories explicitly	2011-03-04 07:06:40 -05:00
Makefile	Fix wording in Makefile	2011-03-04 07:02:40 -05:00