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
gnuplot-rif: do not use wxt as the default terminal
Erwan Jahier authored 
Indeed, it seems it is not supported by gnuplot anymore (at least it
is disabled in the version shipped with debian 8).
08ab7246
History
user avatar 08ab7246
History