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 |