Historique des commits

Auteur SHA1 Message Date
  Leo 9b349b9f64 Allow to disable auto-launch il y a 8 ans
  Leo 7c96c01982 Clean up Messages code il y a 8 ans
  Leo 14efd32b88 Typo il y a 8 ans
  Leo 21b9d2400f Stop using biniou format for tmp file il y a 8 ans
  Leo 6fc0dc112c Improve opam file il y a 8 ans
  Leo d91fa8dc5a Merge branch 'newrc-format' into dev il y a 8 ans
  Leo 74d1e6b470 Merge branch 'newrc-format' of gitlab.com:WzukW/oclaunch into newrc-format il y a 8 ans
  Leo 620f03eb4f Update CHANGELOG il y a 8 ans
  Leo b90aaffea6 Merge branch 'improve_ci_with_docker' into newrc-format il y a 8 ans
  Leo 7fc5e0eb0c Merge branch 'improve_ci_with_docker' into dev il y a 8 ans
  Leo 6fdb9656bd Change tmp name to improve multi-user compatibility il y a 8 ans
  Leo a68da8ea47 Prepare build system to use sexp ppx il y a 8 ans
  Leo 1c2347758c Replace lnch.ml by s.oclaunch.eu.org il y a 8 ans
  Leo da65332d47 Add ability to parse id sequences to subcommands il y a 8 ans
  Leo d1b9786d18 Update CHANGELOG il y a 8 ans
  Leo f0bc2bda0c Engage users to report bugs il y a 8 ans
  Leo 6ed939ea36 Allow run subcommand to take multiple ids il y a 9 ans
  Leo dc54417e23 Update CHANGELOG il y a 9 ans
  Leo 1ddf959c65 Improve help subcommand il y a 9 ans
  Leo 064d301001 Update CHANGELOG il y a 9 ans
  Leo 04fd62693e Update CHANGELOG il y a 9 ans
  Leo 4b934a9923 Change --elength argument of list command il y a 9 ans
  Leo 623e958b14 Merge branch 'glci' into dev il y a 9 ans
  Leo 7dd56f576b Typo il y a 9 ans
  Leo 9ef8ffd369 Update CHANGELOG il y a 9 ans
  Leo 5fc8bce1d0 Add --el argument to list command il y a 9 ans
  Leo dff2e408d3 Display debugging information before every messages il y a 9 ans
  Leo 8affb581d0 Update CHANGELOG il y a 9 ans
  Leo d35e1b28e7 Update CHANGELOG il y a 9 ans
  Leo 9d9e652564 Update CHANGELOG il y a 9 ans