source:

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