|
|
d3bc51eec9
|
roburio -> robur-coop
|
2023-09-09 11:51:47 +02:00 |
|
|
|
a03e4c1e61
|
adjust documentation
|
2022-10-27 20:59:49 +02:00 |
|
|
|
56fb3f7d21
|
Fix the README.md
|
2022-10-19 11:44:45 +02:00 |
|
|
|
b707beed78
|
Add a comment into the HTTP_client device to explain why the Git word appears
|
2022-10-17 15:15:02 +02:00 |
|
|
|
ab520b4c3e
|
Update the example with https://mirage.io/
Co-authored-by: Reynir Björnsson <reynir@reynir.dk>
|
2022-10-17 15:03:24 +02:00 |
|
|
|
8b7a8fb528
|
Improve the README.md
|
2022-10-17 14:38:02 +02:00 |
|
|
|
0bc984f2ed
|
initial commit (copy from opam-mirror)
|
2022-10-05 13:58:07 +02:00 |
|
