matthieu/dune - dune

Commit Graph

Author	SHA1	Message	Date
Jeremie Dimino	189b1dbea5	Update dune.descr Signed-off-by: Jeremie Dimino <jeremie@dimino.org>	2018-07-10 15:54:37 +01:00
Etienne Millon	1d594ce5a3	Fix typos in source code Signed-off-by: Etienne Millon <etienne@cryptosense.com>	2018-07-10 13:05:58 +01:00
Jérémie Dimino	325584adfc	Renaming to Dune (#721 ) - install two identical binaries: jbuilder and dune - rename the man pages to dune-* - change the name in man pages - change the name of libraries - add support for dune-project files and add a dune-project file - add support for dune-workspace files - start updating the manual - update the tests	2018-05-02 12:56:12 +01:00

Author

SHA1

Message

Date

Jeremie Dimino

189b1dbea5

Update dune.descr

Signed-off-by: Jeremie Dimino <jeremie@dimino.org>

2018-07-10 15:54:37 +01:00

Etienne Millon

1d594ce5a3

Fix typos in source code

Signed-off-by: Etienne Millon <etienne@cryptosense.com>

2018-07-10 13:05:58 +01:00

Jérémie Dimino

325584adfc

Renaming to Dune (#721 )

- install two identical binaries: jbuilder and dune
- rename the man pages to dune-*
- change the name in man pages
- change the name of libraries
- add support for dune-project files and add a dune-project file
- add support for dune-workspace files
- start updating the manual
- update the tests

2018-05-02 12:56:12 +01:00

3 Commits