gnuplot-rif: do not use wxt as the default terminal
Indeed, it seems it is not supported by gnuplot anymore (at least it is disabled in the version shipped with debian 8).
Showing
- _oasis 1 addition, 1 deletion_oasis
- doc/version.tex 3 additions, 3 deletionsdoc/version.tex
- src/META 2 additions, 2 deletionssrc/META
- src/gnuplotRif.ml 12 additions, 7 deletionssrc/gnuplotRif.ml
- src/gnuplotRif.mli 2 additions, 1 deletionsrc/gnuplotRif.mli
- src/gnuplotRifMain.ml 15 additions, 4 deletionssrc/gnuplotRifMain.ml
- src/lutilsVersion.ml 2 additions, 2 deletionssrc/lutilsVersion.ml
Loading
Please register or sign in to comment