Name Size Rev Age Author Last Change
branches 1760   7 years stefan remove split branch after merging into trunk
conf 2149   2 years lou Add projectShortDescription; other mods to facilitate automated …
html 2133   3 years stefan rebuild html docu
releases 2192   8 months stefan creating Bonmin/releases/1.8.6 from Bonmin/stable/1.8 (rev 2191)
stable 2193   8 months stefan restoring Bonmin/stable/1.8
trunk 2189   8 months stefan better call RethrowNonIpoptException? immediately after …
Note: See TracBrowser for help on using the repository browser.