diff options
| author | Oleg Morozenkov <o.morozenkov@corp.mail.ru> | 2022-11-01 20:12:47 +0300 |
|---|---|---|
| committer | Oleg Morozenkov <o.morozenkov@corp.mail.ru> | 2022-11-01 20:12:47 +0300 |
| commit | a36d46f0f4d54e2442d54d0127e204292f8a8be1 (patch) | |
| tree | 5f98c06d20cfafe3ad4a976e948832096515d8b5 /tools/list-srcs | |
| parent | e96d3a3d4f023dc0d5d4e60fb8efb5a40ce7a71d (diff) | |
Fixes #228
Diffstat (limited to 'tools/list-srcs')
| -rwxr-xr-x[-rw-r--r--] | tools/list-srcs | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tools/list-srcs b/tools/list-srcs index ed2a199..ed2a199 100644..100755 --- a/tools/list-srcs +++ b/tools/list-srcs |