Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on May 23, 2015

• The database modifications work with default values too ! (Cf module Bdd_check.ml)

  tobiasBora

  committed
  9c9ebd4

  Copy full SHA for 9c9ebd4

Commits on Mar 20, 2015

• Add name in opam file to be able to pin it with "opam pin add

  Show description for 381ee9d
  tobiasBora

  committed
  381ee9d

  Copy full SHA for 381ee9d

Commits on Feb 13, 2015

• Add small deps (beta version), allow empty var name in dico file...

  tobiasBora

  committed
  2e7642d

  Copy full SHA for 2e7642d

Commits on May 26, 2014

• Working copy/replace in file with recognition of exec files and copy the

  Show description for 71d4e27
  tobiasBora

  committed
  71d4e27

  Copy full SHA for 71d4e27

Loading