diff options
| author | Berke Kocaoğlu <berke.kocaoglu@metu.edu.tr> | 2021-09-22 21:36:55 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-22 18:36:55 +0000 |
| commit | 9e22f32c07db0b3b2d72fb252872c9f7bc7141e3 (patch) | |
| tree | 3e0db2f59ec98c8e96cb464b7b4e1e1623f30ed0 /.gitignore | |
| parent | 915a7fd384e700dff10f6014167764cd9812badd (diff) | |
Change location of example scripts (#86)
* Use DOCPREFIX similar to MANPREFIX
Co-authored-by: NRK <nrk@disroot.org>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions