Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / belenios
Commits:
-
bd4b10d0
by Stephane Glondu at 2021-02-03T10:27:47+01:00
-
49edb512
by Stephane Glondu at 2021-02-03T10:28:30+01:00
30 changed files:
- .gitignore
- .gitlab-ci.yml
- AUTHORS
- CHANGES.md
- Dockerfile_base_environment
- Dockerfile_test_scenario_environment
- INSTALL.md
- − META.in
- Makefile
- VERSION
- − _tags
- − all-native.itarget
- − all.itarget
- + belenios-platform-js.opam
- + belenios-platform-native.opam
- + belenios-platform.opam
- + belenios-server.opam
- + belenios-tool.opam
- + belenios.opam
- contrib/check_hash.py
- + contrib/fill_en_po.ml
- + contrib/reference_template.json
- demo/ocsigenserver.conf.in
- demo/run-server.sh
- − doc.itarget
- doc/Continuous_Integration.md
- doc/automated_tests.md
- doc/election_test_scenario_1_specification.md
- doc/election_test_scenario_2_specification.md
- doc/election_test_scenario_3_specification.md