diff options
| author | Rob <masgo@users.noreply.github.com> | 2015-01-13 09:40:43 +0100 |
|---|---|---|
| committer | Rob <masgo@users.noreply.github.com> | 2015-01-13 09:40:43 +0100 |
| commit | 9fd651e00fc7e965343165a56d050567d8c5ee81 (patch) | |
| tree | e6283111b7d8ffed74f97fbbf6470eb8ab8b1f09 /Agda.gitignore | |
| parent | 6f8aee0564363a55db374969c03dd35895801786 (diff) | |
| download | gitignore-9fd651e00fc7e965343165a56d050567d8c5ee81.tar.gz gitignore-9fd651e00fc7e965343165a56d050567d8c5ee81.zip | |
Update TeX.gitignore
*.synctex is generated when the synctex option is used under Windows.
Diffstat (limited to 'Agda.gitignore')
0 files changed, 0 insertions, 0 deletions