diff options
| author | Nick | 2022-12-31 14:18:14 +0000 |
|---|---|---|
| committer | GitHub | 2022-12-31 14:18:14 +0000 |
| commit | c9ed42cdec95b67b0d0ed15218daff37358ca86f (patch) | |
| tree | 99fd7a7233f24cdb80a855f670cef2f297a8fbcf /runtime/queries/esdl | |
| parent | 63dcaae1b9083396fb3faaef9eaa2421f7e48fb9 (diff) | |
Add a status line element that shows just the basename of the file (#5318)
Diffstat (limited to 'runtime/queries/esdl')
0 files changed, 0 insertions, 0 deletions