|
|
2212638bf2
|
git repo has a new home also blog is at a new place
|
2021-11-19 19:04:52 +01:00 |
|
|
|
2dd54a4221
|
use local links where possible
|
2021-09-08 19:43:52 +02:00 |
|
|
|
9a73385ac5
|
Mirage3 is out, no more extra remotes :)
|
2017-02-23 17:33:55 +00:00 |
|
|
|
b8d3ea3687
|
move updates to the end
|
2017-01-24 12:38:17 +00:00 |
|
|
|
f074cfdeaf
|
let's suggest 4.04
|
2017-01-09 13:37:37 +00:00 |
|
Stefan Grundmann
|
81cef5e4a4
|
fix 'opam switch -A' command
|
2017-01-09 10:26:00 +00:00 |
|
|
|
8aa3bb5ee2
|
.
|
2016-10-30 01:59:45 +02:00 |
|
|
|
e5fd06e2c0
|
.
|
2016-10-30 01:59:28 +02:00 |
|
|
|
8115e49d06
|
.
|
2016-10-30 01:56:07 +02:00 |
|
|
|
64a74cacae
|
.
|
2016-10-30 01:54:07 +02:00 |
|
|
|
19feb8b342
|
reflect that changes are now upstreamed
|
2016-10-20 00:03:09 +01:00 |
|
|
|
bdc5d8d0f1
|
minor
|
2016-10-14 13:50:44 +01:00 |
|
|
|
6fa601b6ca
|
merged now
|
2016-07-22 19:14:44 +02:00 |
|
|
|
cf9afdfd11
|
.
|
2016-07-22 01:27:11 +02:00 |
|
|
|
949839852f
|
.
|
2016-07-21 22:45:51 +02:00 |
|
|
|
f9906b4112
|
.
|
2016-07-21 22:44:58 +02:00 |
|
|
|
f48a48683b
|
updates
|
2016-07-21 22:12:15 +02:00 |
|
|
|
9cf163d98c
|
updates
|
2016-07-21 21:40:10 +02:00 |
|
|
|
0820713c9b
|
.
|
2016-07-06 13:57:39 +01:00 |
|
|
|
cf7d7f4517
|
.
|
2016-07-06 13:44:15 +01:00 |
|
|
|
312aed8ee5
|
minor
|
2016-07-02 18:07:47 +01:00 |
|
|
|
00fbc272b3
|
minor
|
2016-07-02 18:02:05 +01:00 |
|
|
|
d0509acdba
|
minor
|
2016-07-02 17:50:12 +01:00 |
|
|
|
6cc11707dd
|
minor
|
2016-07-02 17:47:22 +01:00 |
|
|
|
3a410192d2
|
solo5
|
2016-07-02 17:45:04 +01:00 |
|
