Eelco Dolstra
|
67aefde62c
|
Remove trailing whitespace
|
2013-01-22 14:41:02 +01:00 |
|
Eelco Dolstra
|
918fc5e6df
|
Manual: Remove tabs, indent consistently
|
2012-02-28 15:38:47 +01:00 |
|
Ludovic Courtès
|
b147e71dcd
|
doc: Reintegrate the intro by Visser & Dolstra from `manual.html'.
The `manual.html' file had been deleted in r21718 ("Hydra/28: Rename
"scheduler" to "evaluator"".)
|
2011-03-09 17:13:29 +00:00 |
|
Rob Vermaas
|
45b4f045d3
|
Merge remote branch 'remotes/origin/master'
|
2010-03-23 19:50:29 +00:00 |
|