diff options
| author | Florian Dold <florian@dold.me> | 2024-06-27 23:43:14 +0200 |
|---|---|---|
| committer | Florian Dold <florian@dold.me> | 2024-06-27 23:43:14 +0200 |
| commit | 04efc132c441c6778eb798798aa34606d4771571 (patch) | |
| tree | 25f7306ec258c31b06faec827584e1cd21cb7dc3 /doc | |
| parent | 32c85f4615346c3e9b7835139611246942e117f6 (diff) | |
gitignore
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/flows/.gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/flows/.gitignore b/doc/flows/.gitignore index f0de8a3d5..2c84141f4 100644 --- a/doc/flows/.gitignore +++ b/doc/flows/.gitignore @@ -1 +1,3 @@ main.pdf +main.fdb_latexmk +main.fls |