Eelco Dolstra
8def3d69c7
rustc: Install docs in a separator output
...
This reduces rustc's size from 359 MiB to 186 MiB.
Maybe we should disable doc generation altogether, since it's very
slow and people who need docs will JFGI anyway. But for now I've left
it.
2015-06-19 18:01:43 +02:00
..
2015-01-07 14:55:41 -08:00
2015-05-20 18:06:18 +02:00
2015-03-16 15:50:48 +01:00
2015-05-17 06:43:26 -04:00
2015-05-11 06:41:53 -04:00
2015-01-13 22:33:49 +01:00
2014-11-29 06:14:53 +00:00
2015-02-24 22:15:51 -05:00
2015-04-09 14:21:17 +01:00
2014-12-26 11:06:21 -06:00
2015-05-18 16:07:12 +02:00
2014-12-26 11:06:21 -06:00
2015-05-02 12:36:20 +02:00
2015-05-02 11:20:45 +02:00
2015-03-28 12:42:23 +03:00
2014-12-21 00:00:35 +01:00
2015-05-28 19:20:29 +02:00
2015-02-22 21:35:38 +03:00
2015-02-08 01:09:09 +03:00
2015-06-06 09:06:22 -04:00
2014-10-24 23:04:48 -05:00
2015-05-27 21:13:44 +02:00
2014-10-26 19:45:34 +01:00
2015-05-11 14:44:50 -07:00
2014-11-18 14:45:28 +01:00
2015-06-08 00:48:34 -07:00
2015-06-16 21:26:11 -04:00
2015-03-04 22:15:46 +01:00
2015-04-01 14:44:42 +02:00
2015-06-10 13:00:42 +02:00
2015-04-30 18:17:42 +02:00
2015-05-27 22:00:06 +02:00
2015-06-04 14:54:48 +02:00
2015-01-02 00:01:40 +01:00
2014-11-06 00:48:16 +00:00
2015-05-02 13:41:57 +02:00
2015-05-04 12:27:03 +02:00
2015-06-13 08:34:46 -05:00
2014-11-25 18:45:59 +01:00
2015-06-11 22:09:46 +02:00
2014-12-26 11:06:21 -06:00
2015-01-07 12:56:59 +01:00
2015-03-02 21:55:55 +01:00
2015-01-13 22:33:49 +01:00
2015-03-27 08:24:35 +03:00
2015-02-08 19:24:44 -05:00
2015-06-06 09:06:22 -04:00
2015-01-14 20:27:55 -08:00
2015-02-26 14:43:44 +01:00
2015-05-04 08:58:26 -04:00
2015-02-15 22:29:47 +01:00
2015-05-27 22:00:06 +02:00
2014-11-18 07:26:16 +00:00
2014-12-26 11:06:21 -06:00
2015-06-08 13:56:29 -07:00
2015-01-13 16:42:32 +01:00
2015-04-15 10:02:05 +09:00
2015-03-25 22:13:48 -04:00
2014-12-26 11:06:21 -06:00
2014-09-30 23:15:31 -05:00
2015-01-01 15:45:30 +01:00
2015-04-14 10:46:24 -07:00
2015-06-19 18:01:43 +02:00
2015-05-31 11:46:47 +03:00
2015-04-30 18:17:42 +02:00
2014-11-27 00:51:35 +01:00
2015-05-14 19:09:43 +02:00
2015-06-17 22:21:32 +02:00
2014-10-27 07:16:33 +02:00
2015-02-21 19:55:24 -05:00
2014-12-26 11:06:21 -06:00
2015-06-15 10:47:53 +02:00
2015-04-01 16:46:53 -07:00
2015-05-02 14:45:21 +02:00
2015-04-30 18:17:42 +02:00
2014-12-21 00:00:35 +01:00