diff options
| author | kobewi <kobewi4e@gmail.com> | 2021-02-26 23:18:50 +0100 |
|---|---|---|
| committer | kobewi <kobewi4e@gmail.com> | 2021-02-26 23:18:50 +0100 |
| commit | af069109bec8c6c60ae3c9e2d49084eeb3fdbbd3 (patch) | |
| tree | 3084711b25a1d01fb49a3b747b7715d29728a22c /doc/tools/doc_status.py | |
| parent | 7b685a1558aaa7e014d358c2db8be83aef5d8b8f (diff) | |
Don't check modified time if file doesn't exist
Diffstat (limited to 'doc/tools/doc_status.py')
0 files changed, 0 insertions, 0 deletions