diff options
| author | Maria Matejka <mq@ucw.cz> | 2022-01-24 10:01:10 +0100 |
|---|---|---|
| committer | Maria Matejka <mq@ucw.cz> | 2022-02-03 10:30:33 +0100 |
| commit | c651cef737c7c7578c26bd787c0abd3c364bf4b8 (patch) | |
| tree | ea075e90ddd3efdd4451021a4921172ec979ce5d /tools | |
| parent | b6c9263543060141d79e205e1b3408099ad1afc4 (diff) | |
Global interface list renamed to not clash with local lists
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions