- Nov 02, 2015
-
-
Dominic Kempf authored
Some whitespace changes included to make the more strict whitespace hook happy (tabs removed).
-
- Apr 20, 2015
-
-
- Feb 28, 2014
-
-
Christoph Grüninger authored
-
- Apr 23, 2010
-
-
Christian Engwer authored
[[Imported from SVN: r5985]]
-
- Dec 08, 2009
-
-
Jorrit Fahlke authored
[[Imported from SVN: r5756]]
-
- Dec 04, 2007
-
-
Markus Blatt authored
[[Imported from SVN: r5019]]
-
Markus Blatt authored
[[Imported from SVN: r5018]]
-
- Mar 30, 2007
-
-
Markus Blatt authored
[[Imported from SVN: r4881]]
-
- Mar 23, 2007
-
-
Sven Marnach authored
* Extended the section on the license in README * Added the exception to the COPYING file as well [[Imported from SVN: r4873]]
-
- Mar 22, 2007
-
-
Markus Blatt authored
1.0 [[Imported from SVN: r4870]]
-
- Oct 28, 2004
-
-
Thimo Neubauer authored
infrastructure exists now [[Imported from SVN: r1006]]
-
- Oct 30, 2003
-
-
Thimo Neubauer authored
only needed if Dune should be installed globally (or distributed as a tarball) [[Imported from SVN: r213]]
-
