Johannes Schindelin
4c5a8c4b68
Merge 'ps/stash-in-c'
...
This merges the builtin stash.
Upstream Git did not integrate it into any stable integration branch
yet, but the performance improvements are substantial enough,
especially on Windows, that we really, really, really want to have it
early.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de >
2018-09-03 22:13:46 +02:00
..
2018-08-27 14:34:54 -07:00
2018-08-20 11:33:55 -07:00
2018-08-06 12:30:23 -07:00
2018-08-27 14:33:51 -07:00
2018-08-21 11:28:11 -07:00
2018-08-15 15:08:22 -07:00
2018-08-06 12:30:23 -07:00
2018-08-01 11:07:48 -07:00
2018-05-25 17:16:47 +09:00
2018-06-25 13:22:36 -07:00
2018-06-22 14:26:23 -07:00
2018-08-16 11:17:10 -07:00
2018-08-13 13:48:31 -07:00
2018-05-25 17:16:47 +09:00
2018-05-25 17:16:47 +09:00
2018-05-25 17:16:47 +09:00
2018-06-11 09:41:02 -07:00
2018-05-23 14:38:22 +09:00
2018-06-27 10:29:10 -07:00
2018-08-20 12:41:32 -07:00
2018-05-25 17:16:47 +09:00
2018-05-25 17:16:47 +09:00
2018-05-25 17:16:47 +09:00
2018-05-25 17:16:47 +09:00
2018-05-25 17:16:47 +09:00
2018-05-25 17:16:47 +09:00
2018-05-23 14:38:22 +09:00
2018-08-15 15:08:19 -07:00
2018-06-27 10:29:10 -07:00
2018-06-27 10:29:10 -07:00
2018-07-09 14:15:28 -07:00
2018-05-29 14:51:28 +09:00
2018-06-22 14:26:23 -07:00
2018-08-15 15:08:19 -07:00
2018-05-23 14:38:23 +09:00
2018-05-23 14:38:15 +09:00
2018-08-02 15:30:45 -07:00
2018-06-22 14:26:23 -07:00
2018-08-01 13:37:18 -07:00
2018-05-23 14:38:24 +09:00
2018-05-25 17:16:47 +09:00
2018-05-23 14:38:23 +09:00
2018-08-13 10:44:52 -07:00
2018-08-02 15:30:44 -07:00
2018-06-04 21:39:49 +09:00
2018-08-09 09:17:39 -07:00
2018-05-25 17:16:47 +09:00
2018-07-09 10:55:12 -07:00
2018-05-29 00:28:22 +09:00
2018-05-25 17:16:47 +09:00
2018-08-30 19:07:43 +03:00
2018-06-22 14:26:23 -07:00
2018-06-25 13:22:35 -07:00
2018-06-22 14:26:23 -07:00
2018-08-15 15:08:19 -07:00
2018-08-20 11:33:50 -07:00
2018-05-25 17:16:47 +09:00
2018-08-17 15:18:01 -07:00
2018-06-01 15:06:37 +09:00
2018-06-01 15:06:37 +09:00
2018-05-25 17:16:47 +09:00
2018-06-22 14:26:23 -07:00
2018-08-01 13:37:18 -07:00
2018-06-27 12:17:16 -07:00
2018-06-22 14:26:23 -07:00
2018-06-18 10:18:42 -07:00
2018-06-22 14:26:23 -07:00
2018-08-20 11:33:55 -07:00
2018-08-13 13:25:51 -07:00
2018-07-24 14:50:49 -07:00
2018-06-22 14:26:23 -07:00