Davide P. Cervone 5ef8797fd6 Add html/objects.inv to .gitignore		2011-03-06 15:08:18 -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 platform installation pages	2011-03-06 13:18:12 -05:00
.gitignore	Add html/objects.inv to .gitignore	2011-03-06 15:08:18 -05:00
Makefile	Fix wording in Makefile	2011-03-04 07:02:40 -05:00