- Aug 05, 2013
-
-
Lukas Bulwahn authored
This commit renames file CONTENT to CONTENTS, reflecting its intended meaning. For the difference between the two words, see http://english.stackexchange.com/questions/13556/content-or-contents
-
- Mar 20, 2013
-
-
Lukas Bulwahn authored
-
Lukas Bulwahn authored
CONTENTS: reducing the CONTENTS file to a general description of some files and the basic directories
-
- Feb 01, 2013
-
-
Lukas Bulwahn authored
-