- 09 Jan, 2014 1 commit
-
-
Stephane Glondu authored
-
- 08 Jan, 2014 4 commits
-
-
Stephane Glondu authored
-
Stephane Glondu authored
-
Stephane Glondu authored
* more comprehensive list of system prerequisites * update opam-bootstrap.sh documentation
-
Stephane Glondu authored
Because OPAM deletes OPAMROOT in some circumstances...
-
- 07 Jan, 2014 8 commits
-
-
Stephane Glondu authored
-
Stephane Glondu authored
-
Stephane Glondu authored
-
Stephane Glondu authored
-
Stephane Glondu authored
-
Stephane Glondu authored
-
Stephane Glondu authored
-
Stephane Glondu authored
-
- 06 Jan, 2014 2 commits
-
-
Stephane Glondu authored
-
Stephane Glondu authored
-
- 17 Dec, 2013 2 commits
-
-
Stephane Glondu authored
-
Stephane Glondu authored
-
- 06 Dec, 2013 1 commit
-
-
Stephane Glondu authored
-
- 26 Nov, 2013 4 commits
-
-
Stephane Glondu authored
-
Stephane Glondu authored
- make "decrypt" a subcommand instead of an option - show help when called with no argument - split default action into "verify" and "finalize" subcommands
-
Stephane Glondu authored
-
Stephane Glondu authored
-
- 25 Nov, 2013 3 commits
-
-
Stephane Glondu authored
-
Stephane Glondu authored
-
Stephane Glondu authored
-
- 21 Nov, 2013 12 commits
-
-
Stephane Glondu authored
-
Stephane Glondu authored
This is a small technical measure to enforce AGPL...
-
Stephane Glondu authored
-
Stephane Glondu authored
-
Stephane Glondu authored
-
Stephane Glondu authored
-
Stephane Glondu authored
-
Stephane Glondu authored
-
Stephane Glondu authored
-
Stephane Glondu authored
-
Stephane Glondu authored
-
Stephane Glondu authored
-
- 20 Nov, 2013 3 commits
-
-
Stephane Glondu authored
This should be reverted once the booth is adapted...
-
Stephane Glondu authored
-
Stephane Glondu authored
Making it fully parameterised needs more work...
-