diff options
author | Norbert Preining <norbert@preining.info> | 2022-06-04 03:04:33 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2022-06-04 03:04:33 +0000 |
commit | 3334cdec90674c190ed9611a1f977f734a59015c (patch) | |
tree | 01f9deba779e18e93c37a5b3fe24a3e38c48a20a /systems/protext | |
parent | 653524750adc9c9bfae3fb8a7f1dacd63859bed8 (diff) |
CTAN sync 202206040304
Diffstat (limited to 'systems/protext')
l--------- | systems/protext | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/systems/protext b/systems/protext deleted file mode 120000 index ab66acb578..0000000000 --- a/systems/protext +++ /dev/null @@ -1 +0,0 @@ -win32/protext
\ No newline at end of file |