diff options
| author | MarcoFalke <falke.marco@gmail.com> | 2020-05-24 14:15:15 -0400 |
|---|---|---|
| committer | MarcoFalke <falke.marco@gmail.com> | 2020-06-08 10:06:02 -0400 |
| commit | faceed753a4d3d909985cdfc42b23f5dd395e168 (patch) | |
| tree | 7f4da8a2f91642f32f85268606de8d1c35962995 /src/optional.h | |
| parent | 3e58734e55eed9861dc8e7f4a43ed99f630c70c2 (diff) | |
doc: Add redirect for GUI issues and pull requests
Diffstat (limited to 'src/optional.h')
0 files changed, 0 insertions, 0 deletions