Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / belenios
Commits:
-
01aa306f
by Stephane Glondu at 2019-07-24T08:21:16Z
30 changed files:
- − .ocamlinit
- AUTHORS
- CHANGES.md
- INSTALL.md
- VERSION
- all.itarget
- doc/Continuous_Integration.md
- doc/automated_tests.md
- doc/election_test_scenario_1_specification.md
- genversion.sh
- opam-bootstrap.sh
- src/lib/common.ml
- src/lib/common.mli
- − src/lib/lib.mllib
- src/lib/serializable_builtin_j.ml
- src/lib/serializable_builtin_j.mli
- src/lib/serializable_builtin_t.ml
- src/lib/serializable_builtin_t.mli
- src/platform/js/platform.ml
- src/tool/tool_js_booth.ml
- src/tool/tool_js_common.ml
- src/tool/tool_js_credgen.ml
- src/tool/tool_js_pd.ml
- src/tool/tool_js_questions.ml
- src/tool/tool_js_tkeygen.ml
- src/tool/tool_js_ttkeygen.ml
- src/web/web_common.ml
- src/web/web_common.mli
- src/web/web_i18n_sig.mli
- src/web/web_l10n_de.ml