diff options
| author | Evgenii P <[email protected]> | 2019-08-13 16:36:01 +0100 |
|---|---|---|
| committer | Evgenii P <[email protected]> | 2019-08-13 16:36:01 +0100 |
| commit | 8222a1fddfe73dab5e00437efeffa7d95db0b6be (patch) | |
| tree | a8520fc5a354fb66b4304e0ddd210c6bfc076e92 /docs/user/README.md | |
| parent | f1e62501c3de7932396d29c89588ff296bbcc50d (diff) | |
Fix is_path_start to accept T![<], fix is_path_start usages
Diffstat (limited to 'docs/user/README.md')
0 files changed, 0 insertions, 0 deletions