rpms/ocaml-num
3
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
22 Commits 12 Branches 0 Tags 99 KiB
3461271d80
Commit Graph

1 Commits

Author SHA1 Message Date
Richard W.M. Jones
6807fd3550 Fix DESTDIR installs again. 
Add -g flag.
 2017-11-08 22:22:02 +00:00