Commit History

Автор SHA1 Съобщение Дата
  Leo a534dc3551 Merge branch 'dev' преди 8 години
  Leo e791990df3 Version 0.3.0-rc1 преди 8 години
  Leo 6ad8120fd3 Clean-up indentation using fix-indent.ml script преди 8 години
  Leo 2be80fd086 Add disable status in state преди 8 години
  Leo 955feb0b41 Clean up status code преди 8 години
  Leo 9b349b9f64 Allow to disable auto-launch преди 8 години
  Leo 2fe6decbae Merge branch 'dev' of gitlab.com:WzukW/oclaunch into dev преди 8 години
  Leo 59a6cb38fa Add benchmark to chose between S-Expressions and JSON for rc file преди 9 години
  Leo 7c96c01982 Clean up Messages code преди 8 години
  Leo d6207e9bce Clean-up lock module преди 8 години
  Leo 79180547d8 Clean-up default file преди 8 години
  Leo 4e2432561c Typo преди 8 години
  Leo 579bb0f7ac Typo преди 8 години
  Leo 381e2675a6 Run fix-indent.ml script преди 8 години
  Leo 01249c2446 Check and fix indentation of fix-indent.ml script преди 8 години
  Leo d066fe0c95 Stop using tree command in fix-indent script преди 8 години
  Leo 14efd32b88 Typo преди 8 години
  Leo d8a68725ee Clean up dev configuration file преди 8 години
  Leo 01b6a56f7b Update TODO преди 8 години
  Leo 4859e426c0 Improve messages and clean command преди 8 години
  Leo e542a016d1 Update TODO преди 8 години
  Leo 141b1011fa Remove dubbled entries when adding entries преди 8 години
  Leo 488b0bc147 Change order of added entries преди 8 години
  Leo 0e5b0d4c34 Add entries when importing, instead of remplacing преди 8 години
  Leo 6d1588cc08 Improve spying expression преди 8 години
  Leo d042fc9401 Code clean-up: fix some warning of the compiler преди 8 години
  Leo c432345115 Choose color more adapted to both white and black background преди 8 години
  Leo 21b9d2400f Stop using biniou format for tmp file преди 8 години
  Leo 07a635bc51 Merge branch 'dev' of https://gitlab.com/WzukW/oclaunch into dev преди 8 години
  Leo c36a3807b6 Add benchmark to compare biniou format and bin_prot one преди 8 години