summaryrefslogtreecommitdiff
path: root/dev-lang/polyml/files/polyml-5.5.0-configure.patch (follow)
Commit message (Expand)AuthorAgeFilesLines
* CleanupRené 'Necoro' Neumann2016-08-191-138/+0
* PolyML-5.5.1René 'Necoro' Neumann2013-10-111-0/+138