diff options
author | Andrei Pavel <andrei@isc.org> | 2024-08-19 17:09:25 +0200 |
---|---|---|
committer | Andrei Pavel <andrei@isc.org> | 2024-08-22 14:47:23 +0200 |
commit | 87005846b0a2ce899f5a6e95291aee699f802086 (patch) | |
tree | 1806a4950249d2f1f1c964b5cefb0e40e7932078 /.gitlab | |
parent | [#1945] minor: add +x permission to reorder_message_file.py (diff) | |
download | kea-87005846b0a2ce899f5a6e95291aee699f802086.tar.xz kea-87005846b0a2ce899f5a6e95291aee699f802086.zip |
[#1945] take premium exhonerated duplicate messages into account
This makes it easier to run `./tools/check-messages.py` to correctly
assess the state of messages while developing Kea without having to
remove the premium directory.
Diffstat (limited to '.gitlab')
0 files changed, 0 insertions, 0 deletions