diff options
| author | Manuel Bärenz <programming@manuelbaerenz.de> | 2021-02-05 14:48:07 +0100 |
|---|---|---|
| committer | Manuel Bärenz <programming@manuelbaerenz.de> | 2021-08-30 09:20:35 +0200 |
| commit | 58ec6ce9b587c763636ceff916bcd41de87c9748 (patch) | |
| tree | a53f849fc5c2b4ffd9b78cdae95118a5d7f7f1eb /pkgs/development/python-modules/rangehttpserver | |
| parent | 39067594f5d668caa701fc3e014a8b4bf73a9ac0 (diff) | |
build-support/agda: Make includePaths configurable
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions