diff options
author | Bartosz Taudul <wolf.pld@gmail.com> | 2020-04-27 20:16:04 +0300 |
---|---|---|
committer | Bartosz Taudul <wolf.pld@gmail.com> | 2020-04-27 20:21:32 +0300 |
commit | 4634c5cdd383361916f3551fc74fa3697356c4a5 (patch) | |
tree | 013624f1ae23ff61b8c00e0cb298570eeb7ca893 /.gitignore | |
parent | 2175fa6701654dd87fd1509ba05e998f34b9ed1b (diff) |
Update manual.
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -18,6 +18,8 @@ manual/t*.out manual/t*.pdf manual/t*.synctex.gz manual/t*.toc +manual/t*.bbl +manual/t*.blg profiler/build/win32/packages profiler/build/win32/Tracy.aps |