Benedict Reuschling 37383a44b0 Remove some redundant words, add capitalization to titles, as well as ... redundant markup and words around <filename>.		2014-05-24 20:44:43 +00:00
..
articles	Remove some redundant words, add capitalization to titles, as well as	2014-05-24 20:44:43 +00:00
books	Simplify the lf2crlf filter. Thanks to jilles@.	2014-05-24 00:23:47 +00:00
captions
flyer
htdocs	There is no need to specify the difference between	2014-05-24 00:17:03 +00:00
share/xml	The current flow of our website does not allow easily advertising	2014-05-23 22:46:38 +00:00
slides
Makefile
Makefile.inc