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

Close

Commit [0272cd] Maximize Restore History

Updated according to Colin's comments.

Thai Son Hoang Thai Son Hoang 2008-01-21

changed org.eventb.ui.icons/source/howto.txt
org.eventb.ui.icons/source/howto.txt Diff Switch to side-by-side view
Loading...