diff options
| author | Hugo Herbelin | 2016-04-27 22:13:03 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2016-04-27 22:13:03 +0200 |
| commit | 18512ba12400e30858ae19e5ef69b9590b96de06 (patch) | |
| tree | d85d73110a1eb95b8873375cee0bd35821996657 /doc/tutorial/Tutorial.tex | |
| parent | 3011cbfb224b3b2dfb72afd05094614b97a2128b (diff) | |
Revert "Temporary hack to compensate missing comma while re-printing tactic"
This reverts commit 3a2753bedf43a8c7306b1b3fc9cb37aafb78ad7a.
Diffstat (limited to 'doc/tutorial/Tutorial.tex')
0 files changed, 0 insertions, 0 deletions