Skip to content
GitLab
Switch branch/tag
  1. 04 Apr, 2017 9 commits
  3. 22 Mar, 2017 1 commit
  5. 21 Mar, 2017 2 commits
  7. 17 Mar, 2017 9 commits
  9. 01 Feb, 2017 1 commit
  11. 30 Jan, 2017 2 commits
  13. 26 Jan, 2017 1 commit
  15. 20 Jan, 2017 3 commits
  17. 19 Jan, 2017 2 commits
  19. 17 Jan, 2017 1 commit
    • Stephane Glondu's avatar
      Merge branch 'blank' · 9fd8af59
      Stephane Glondu authored 
      # Conflicts:
#	src/web/web_i18n_sig.mli
#	src/web/web_l10n_de.ml
#	src/web/web_l10n_en.ml
#	src/web/web_l10n_fr.ml
#	src/web/web_l10n_ro.ml
      9fd8af59
  21. 20 Dec, 2016 4 commits
  23. 29 Nov, 2016 3 commits
  25. 17 Oct, 2016 2 commits