source: ThirdParty/Mumps @ 1471

Name Size Rev Age Author Last Change
../
branches 1469   12 years stefan add prefix coin to .pc files; changed install dir for libs and doc
releases 1355   12 years andreasw creating releases/1.1.8 from stable/1.1 (rev 1354)
stable 1356   12 years andreasw restoring stable/1.1
trunk 1457   12 years stefan wc -w does not work well if there are spaces in the path
Note: See TracBrowser for help on using the repository browser.