Commit graph

84 commits

Author SHA1 Message Date
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
9cf163d98c updates 2016-07-21 21:40:10 +02:00
02a2fcd749 . 2016-07-12 17:04:00 +01:00
1538261cef . 2016-07-12 16:47:07 +01:00
f3e63446db . 2016-07-12 16:40:31 +01:00
cdbdbaff06 . 2016-07-12 16:40:22 +01: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
5472f1b2dd . 2016-06-11 19:53:17 +01:00
cb71f67479 typo 2016-06-11 18:31:01 +01:00
cb5876f59d . 2016-06-11 18:21:34 +01:00
3b20a06e60 . 2016-05-10 15:58:09 +01:00
e55c0aa3d2 . 2016-05-10 15:51:57 +01:00
32ca70df24 get rid of StringPrinter 2016-05-08 09:54:23 +01:00
6ce1f73a95 . 2016-05-06 22:30:20 +01:00
Raphaël Proust
6d2bf74ce9 Typo fixes
Fixes issue #2
2016-05-04 09:23:58 +01:00
341aa10ef3 . 2016-05-03 22:31:16 +01:00
bbea5d026e . 2016-05-03 20:14:11 +01:00
3a4aa22bf3 . 2016-05-03 20:01:08 +01:00
15a4c10a9d minor from micah 2016-05-03 19:26:23 +01:00
22e4000373 minor 2016-05-03 18:28:50 +01:00
d3733137e1 mindy 2016-05-03 14:28:48 +01:00
5135b367e1 initial 2016-05-03 14:28:17 +01:00
240c1ea027 . 2016-04-25 15:13:36 +01:00
9e1bccad4b . 2016-04-25 14:52:03 +01:00