Tue, 14 Aug 2018 11:39:48 +0200 | Boris Feld | remove: add a label for messages about removed files | changeset | files |
Tue, 14 Aug 2018 11:15:05 +0200 | Boris Feld | add: add a label for messages about added files | changeset | files |
Wed, 25 Jul 2018 17:11:52 +0200 | Boris Feld | addremove: add labels for messages about added and removed files | changeset | files |