Commit graph

113 commits

Author SHA1 Message Date
7ae1e2585d minor 2018-04-18 13:34:48 +02:00
dbe8791b02 initial DNS 2018-03-17 14:44:36 +00:00
295403b642 . 2018-01-06 17:22:12 +01:00
Stefan Grundmann
1c975f590e Update VMM
add missing not
2017-07-10 12:26:01 +02:00
937eee7e4d . 2017-07-10 11:02:56 +01:00
9295488205 VMM article 2017-07-10 10:49:12 +01:00
04ddbd6270 . 2017-03-12 13:27:37 +00:00
872ee8a1ac fix markdown syntax and link 2017-03-09 09:47:08 +00:00
9a73385ac5 Mirage3 is out, no more extra remotes :) 2017-02-23 17:33:55 +00:00
e6ba699929 . 2017-02-20 20:33:56 +00:00
01724c16f8 . 2017-02-20 18:02:52 +00:00
98e0847a1b conex PR merged 2017-02-20 11:34:37 +00:00
9809b49911 . 2017-02-19 11:38:02 +00:00
9f2dcfebba update output to 0.9.2 2017-02-18 10:44:10 +00:00
720082b308 . 2017-02-17 22:59:57 +00:00
027da56fa1 . 2017-02-17 12:09:10 +00:00
f144d0565b . 2017-02-16 23:49:45 +00:00
592b6ade54 footer 2017-02-16 23:45:55 +00:00
377ade1725 conex post 2017-02-16 23:35:02 +00:00
3942c38ec1 adding text about maintainer inference 2017-02-16 23:28:44 +00:00
5caddd7b04 . 2017-02-15 22:00:32 +00:00
02cc21041a . 2017-02-14 17:27:06 +00:00
f4e7085d41 mirage3 2017-02-14 17:19:16 +00:00
9e02d1b68b . 2017-02-14 14:37:35 +00:00
c830fbc6eb . 2017-02-03 12:32:39 +00:00
e7971ba29d tweaks 2017-01-31 16:20:10 +00:00
Jochen Bartl
77930a21e9 Removed superfluous "some" 2017-01-30 23:47:18 +01:00
Mindy Preston
cb8215d707 small typo fixes 2017-01-30 12:28:46 -06:00
dea12840a4 . 2017-01-30 18:15:48 +00:00
d686cee613 httpS 2017-01-30 15:31:49 +00:00
75b5d130f0 . 2017-01-30 14:04:31 +00:00
75e86a996e . 2017-01-26 13:17:13 +00:00
4722a72fdc . 2017-01-24 13:31:51 +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
8d07c9c573 force-pushed 2016-11-06 21:29:45 +00:00
a970aaab59 syslog 2016-11-05 21:13:27 +00:00
2503110c35 test it 2016-11-05 13:53:50 +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