diff options
| author | Simon Ser <contact@emersion.fr> | 2023-02-28 12:58:52 +0100 |
|---|---|---|
| committer | Simon Ser <contact@emersion.fr> | 2023-04-14 18:34:54 +0200 |
| commit | 4118c493499fc03fd2c77a061b4905cd7523d67c (patch) | |
| tree | 8aaee873da0c9fc2dcbf2857ef6dfab097cdcf32 /include | |
| parent | fcec5817483ba279b714acf6d81f5d7a3688b092 (diff) | |
Use output_match_name_or_id() in workspace functions
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions