source:

Name Size Rev Age Author Last Change
branches 2273   15 months stefan remove coin-or links from menu on left - won't work that way anymore …
conf 2278   12 months stefan remove svn permissions to make read-only
html 2272   15 months stefan revert r2271
releases 2255   16 months stefan creating Bonmin/releases/1.8.8 from Bonmin/stable/1.8 (rev 2254)
stable 2256   16 months stefan restoring Bonmin/stable/1.8
trunk 2277   13 months stefan fixup pc; rerun autotools
Note: See TracBrowser for help on using the repository browser.