3 commits

Author	SHA1	Message	Date
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