Davide P. Cervone a903e2e5dc Update configuraiton options for the various components		2011-03-07 20:08:59 -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	Update configuraiton options for the various components	2011-03-07 20:08:59 -05:00
.gitignore	Add html/.buildinfo to .gitignore	2011-03-06 15:45:51 -05:00
Makefile	Fix wording in Makefile	2011-03-04 07:02:40 -05:00