diff options
| author | stuebinm | 2021-09-20 22:30:22 +0200 |
|---|---|---|
| committer | stuebinm | 2021-09-20 22:30:22 +0200 |
| commit | 42df3cf0eb0c5877ac3320994cadec07619bcd6b (patch) | |
| tree | cbe11c6cc138ab5a303ec9ba4105dfd00df243f1 /.gitignore | |
| parent | 9a8d793f8f08fd5674bc6a917278ee7251bac56f (diff) | |
typechecking for path depths!
This now checks if relative paths are still inside the repository, as a
general safety mechanism to stop the linter from accidentally reading
other things, as well as a nice hint for users.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions