diff options
| author | Norbert Preining <norbert@preining.info> | 2018-06-07 09:12:25 +0900 |
|---|---|---|
| committer | Norbert Preining <norbert@preining.info> | 2018-07-19 10:26:42 +0900 |
| commit | b29d416e5acb450283c845f1d63adc2d0dbb0de1 (patch) | |
| tree | e03dc2c5af8cc6db77a90874da8fdd8ed42334e8 /Build/source/texk/detex/configure | |
| parent | 44b9664d0baa3c902592fc5db24edc8a872ed217 (diff) | |
start work on CI documentationdev/ci-docs
Diffstat (limited to 'Build/source/texk/detex/configure')
0 files changed, 0 insertions, 0 deletions