diff options
| author | Simon Hauser <Simon-Hauser@outlook.de> | 2022-04-25 22:34:42 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-25 22:34:42 +0200 |
| commit | 5045d7e5e74208dbbf98271861b05ff42dc66360 (patch) | |
| tree | b519311ebec2506c72975a2a5e70e56d126a3822 /scripts/gendocs.lua | |
| parent | fd9e1e1674c5ae980bc742f773fb78ca80cf8970 (diff) | |
feat: switch to telescope.lua (#1873)
Co-authored-by: Christian Clason <christian.clason@uni-due.de>
Diffstat (limited to 'scripts/gendocs.lua')
0 files changed, 0 insertions, 0 deletions