summaryrefslogtreecommitdiffstats
path: root/.gitlab
diff options
context:
space:
mode:
authorAndrei Pavel <andrei@isc.org>2024-08-19 17:09:25 +0200
committerAndrei Pavel <andrei@isc.org>2024-08-22 14:47:23 +0200
commit87005846b0a2ce899f5a6e95291aee699f802086 (patch)
tree1806a4950249d2f1f1c964b5cefb0e40e7932078 /.gitlab
parent[#1945] minor: add +x permission to reorder_message_file.py (diff)
downloadkea-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