diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2020-02-15 11:32:27 +0100 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2020-02-15 11:32:27 +0100 |
commit | 6148b770249072553d3e6b591a72f6c1626a7194 (patch) | |
tree | 2584d5f4f6d73c01d7d536d602dd4a74fb317c12 /backend/pint.c | |
parent | 77e91a08c8f95edcabbe5a65affeed2293859228 (diff) |
Add .ps to .gitignore; remove backup files from git
Diffstat (limited to 'backend/pint.c')
0 files changed, 0 insertions, 0 deletions