source: ThirdParty/Mumps @ 1469

Name Size Rev Age Author Last Change
branches 1469   10 years stefan add prefix coin to .pc files; changed install dir for libs and doc
releases 1355   11 years andreasw creating releases/1.1.8 from stable/1.1 (rev 1354)
stable 1356   11 years andreasw restoring stable/1.1
trunk 1457   10 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.