Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

Commit [a574ae] default Maximize Restore History

Minor changes to manual

git-svn-id: svn+ssh://keith.cs.st-and.ac.uk/mnt/raid/svn/repositories/minion-private/public/trunk@489 477b24dd-e91e-0410-aa49-980f3df0729b

Chris Jefferson Chris Jefferson 2008-01-16

changed docs/manual.pdf
changed docs/manual.tex
docs/manual.pdf Diff Switch to side-by-side view
Loading...
docs/manual.tex Diff Switch to side-by-side view
Loading...