Johannes Schindelin
859e7a70db
Merge branch 'redirect-std-handles'
...
This topic branch introduces a highly-experimental feature allowing to
override stdin/stdout/stderr by setting environment variables e.g. to
named pipes, solving a problem in highly multi-threaded applications
where inheritable handles could cause blocked Git operations.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de >
2017-01-10 23:37:00 +01:00
..
2016-10-28 09:01:21 -07:00
2016-12-05 11:25:47 -08:00
2016-10-10 14:03:50 -07:00
2017-01-10 22:45:49 +01:00
2016-10-26 13:14:43 -07:00
2016-09-19 10:25:11 -07:00
2016-10-27 14:58:50 -07:00
2016-10-10 14:03:50 -07:00
2016-09-12 15:03:32 -07:00
2016-09-19 10:25:11 -07:00
2016-10-10 14:03:51 -07:00
2016-09-11 14:48:15 -07:00
2016-09-21 11:12:41 -07:00
2016-09-21 08:44:41 -07:00
2016-07-28 11:25:54 -07:00
2016-10-10 14:03:50 -07:00
2016-07-28 11:25:54 -07:00
2016-10-28 09:01:15 -07:00
2016-09-08 21:35:56 -07:00
2016-10-10 13:52:37 -07:00
2016-10-03 13:22:25 -07:00
2016-10-10 14:03:50 -07:00
2016-10-28 05:51:51 -07:00
2016-09-21 08:58:10 -07:00
2016-07-18 15:15:59 -07:00
2016-08-24 12:31:05 -07:00
2016-11-21 12:49:57 -08:00
2016-10-10 12:14:58 -07:00
2016-10-21 09:46:48 -07:00
2016-10-11 10:04:31 -07:00
2016-07-28 11:25:54 -07:00
2016-08-10 10:55:13 -07:00
2016-09-08 21:35:53 -07:00
2016-07-28 11:25:54 -07:00
2016-08-24 12:31:05 -07:00
2016-08-11 14:35:42 -07:00
2016-08-12 09:47:35 -07:00
2016-07-28 11:25:54 -07:00
2016-10-26 09:58:10 -07:00
2016-08-11 11:15:56 -07:00
2016-10-19 14:58:53 -07:00
2016-07-28 11:25:54 -07:00
2016-10-28 09:01:10 -07:00
2016-08-24 12:31:05 -07:00
2016-11-29 13:28:02 -08:00
2017-01-10 22:58:20 +01:00
2016-10-17 11:45:52 -07:00
2016-09-22 11:23:45 -07:00
2017-01-10 22:45:50 +01:00
2016-07-14 15:50:17 -07:00
2016-09-19 13:51:38 -07:00
2016-10-28 09:01:19 -07:00
2016-10-10 14:03:50 -07:00
2016-11-11 09:37:33 -08:00
2016-08-13 19:36:44 -07:00
2016-09-25 16:39:11 -07:00
2017-01-10 23:21:22 +01:00
2016-10-28 09:01:23 -07:00
2016-10-11 14:20:06 -07:00
2016-09-27 10:59:28 -07:00
2016-08-26 15:58:10 -07:00
2017-01-10 22:45:50 +01:00