Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
aboutsummaryrefslogtreecommitdiff
path: root/dev-ml/ocamlgraph/files/ocamlgraph-1.2-makefile.patch
Commit message (Expand)AuthorAgeFilesLines
* Various updates related to Frama-C.Jonathan-Christofer Demay2009-09-221-0/+102