Sun, 01 Oct 2017 00:35:28 +0100 | Boris Feld | topicmode: add 'random' topic mode | changeset | files |
Sun, 01 Oct 2017 09:10:48 +0100 | Pierre-Yves David | topic: update the topic-mode hint | changeset | files |
Sun, 01 Oct 2017 09:05:42 +0100 | Pierre-Yves David | topic: rename the 'topic-mode' help subtopic | changeset | files |
Sun, 01 Oct 2017 00:44:41 +0100 | Pierre-Yves David | topic: add a 'enforce-all' mode | changeset | files |
Sat, 30 Sep 2017 23:18:29 +0100 | Boris Feld | topicmode: 'enforce' topic mode, no longer warn about untopiced merge | changeset | files |
Sat, 30 Sep 2017 23:00:21 +0100 | Boris Feld | topicmode: add new warning topicmode | changeset | files |
Sun, 01 Oct 2017 00:14:19 +0100 | Pierre-Yves David | topic: add documentation for the 'topic-mode' option | changeset | files |