Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • dune
  • work
  • v1.54.2
  • v1.54.1
  • v1.54.0
  • 1.51.3
  • v1.53.3
  • 1.51.2
  • 1.51.1
  • 1.51.0
  • opam-release
  • 1.50.0
  • opam-realease
  • 1.49.10
  • 1.49.9
  • 1.49.8
  • 1.49.7
  • 1.49.6
  • 1.49.5
  • 1.49.4
  • 1.49.3
  • 1.49.2
23 results
Compare
user avatar
Rename gnuplotrif.ml into gnuplotRifMain.ml
Erwan Jahier authored 
The rationale is  to avoid a clash on case unsensitive arch (mac os)
43d317b2
History
user avatar 43d317b2
History