diff options
| author | Dirk Engling <erdgeist@erdgeist.org> | 2020-12-04 06:12:26 +0100 |
|---|---|---|
| committer | Dirk Engling <erdgeist@erdgeist.org> | 2020-12-04 06:12:26 +0100 |
| commit | c674cde5690bf2cf2a7749c42255b197d835eea8 (patch) | |
| tree | 1bdea85e4acd85c4a0710bb401ec05b5ca200fed /Makefile | |
| parent | 4638e0dfc3be720962990e5529587ee22d62f219 (diff) | |
Be less verbose when parsing session directories
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions