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