diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2018-07-13 09:34:00 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2018-07-13 09:34:03 -0700 |
| commit | c25f03d440ddfce7bcb905d23e21b309287c0d39 (patch) | |
| tree | a55f332c1bc4f8bab863660a2930d2ba68272707 /desktop-widgets/divepicturewidget.cpp | |
| parent | 3c1b6d9ec1278544202d6cf2b4711f1cdc7c4cc0 (diff) | |
| download | subsurface-c25f03d440ddfce7bcb905d23e21b309287c0d39.tar.gz | |
Derek: enable label and milestone management
Allow Derek to modify labels and milestones and add a few more of our
contributors to the list of people allowed to give Derek commands.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'desktop-widgets/divepicturewidget.cpp')
0 files changed, 0 insertions, 0 deletions