diff options
| author | June McEnroe <june@causal.agency> | 2021-10-01 23:29:16 +0000 |
|---|---|---|
| committer | June McEnroe <june@causal.agency> | 2021-10-02 00:18:59 +0000 |
| commit | 9af53955dc09a9c7c510cd0ade758dd0af5bcabb (patch) | |
| tree | a8e2542459810e8d2904310c813c3f8946fed7cc /doc/pdf/.gitignore | |
| parent | Add htagml -m to rename main tag (diff) | |
| download | src-9af53955dc09a9c7c510cd0ade758dd0af5bcabb.tar.gz src-9af53955dc09a9c7c510cd0ade758dd0af5bcabb.zip | |
Replace filter shell scripts with C program
Eliminates the need for a shell inside the chroot, along with cat, mktemp and rm. It's likely a bit faster too.
Diffstat (limited to 'doc/pdf/.gitignore')
0 files changed, 0 insertions, 0 deletions