diff options
author | 2024-01-03 04:46:18 +0100 | |
---|---|---|
committer | 2024-01-10 14:56:20 +0100 | |
commit | 2939e58e4303abbc8c8f144e47804114dc953037 (patch) | |
tree | 1e5e87f989b67ddefc658cb92516f246ac7e3f11 | |
parent | e4d83499d71f41e63865b6529edaaaabe8ce0bd5 (diff) |
chore: ignore /.history
-rw-r--r-- | .gitignore | 1 | ||||
-rw-r--r-- | .history | 2 |
2 files changed, 1 insertions, 2 deletions
@@ -1,3 +1,4 @@ /.anissue /dist-newstyle +/.history /store diff --git a/.history b/.history deleted file mode 100644 index 56f8bde..0000000 --- a/.history +++ /dev/null @@ -1,2 +0,0 @@ -pdfsandwich 0000001.pdf -tesseract img-000.ppm img-000.pdf -l eng pdf |