]>
| author | Peter Schaefer <schaeferpm@gmail.com> | |
| Wed, 20 Feb 2019 08:17:37 +0000 (09:17 +0100) | ||
| committer | Peter Schaefer <schaeferpm@gmail.com> | |
| Wed, 20 Feb 2019 08:17:37 +0000 (09:17 +0100) | ||
| commit | f1e2f7a100e5f58af7ce50c81b0bb40881fefa5c | |
| tree | 18b6917bb451efd12593759fbe1ba5b6c5645de8 | tree | snapshot |
| parent | 2be5b1a9078c27447d7569e2adead604dec8b716 | commit | diff |
| git_tools/enable_autoBuild_pdf.sh | [new file with mode: 0644] | blob |
| git_tools/enable_f_ours.sh | [new file with mode: 0644] | blob |
| git_tools/pre-commit.tex.sh | [new file with mode: 0644] | blob |