roburio -> robur-coop

2023-09-09 12:32:42 +02:00 · 2022-04-28 16:08:06 +02:00 · 2023-09-09 12:32:42 +02:00 · 2023-01-30 15:29:08 +01:00 · 2022-01-28 11:42:45 +01:00 · 2023-01-30 15:50:12 +01:00
diff --git a/Hannes Mehnert b/Hannes Mehnert
Hannes Mehnert e40c70be9c roburio -> robur-coop		2023-09-09 12:32:42 +02:00
app	Switched to using --version for printing visualization-version - will not be the same as library version	2022-04-28 16:08:06 +02:00
packaging	roburio -> robur-coop	2023-09-09 12:32:42 +02:00
src	remove superfluous rresult dependency	2023-01-30 15:29:08 +01:00
.gitignore	.gitignore	2022-01-28 11:42:45 +01:00
CHANGES.md	changes for 0.1.1	2023-01-30 15:50:12 +01:00
dune-project	dune-project: require dune 2.0	2023-01-30 15:49:46 +01:00
LICENSE.md	update opam, add license	2023-01-30 14:59:49 +01:00
opam-graph.opam	roburio -> robur-coop	2023-09-09 12:32:42 +02:00
README.md	minor fixes	2022-07-27 10:21:04 +02:00