source:

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