diff options
| author | Hugo Herbelin | 2016-04-27 22:13:04 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2016-04-27 22:13:04 +0200 |
| commit | 89b38ee15e02349c8d4b05df3170e3c97d8d1bf9 (patch) | |
| tree | cb92f4b06d109fb2ed0007a4369e2dd203786bd4 /doc/tutorial/Tutorial.tex | |
| parent | 8aad36675447f3c95dc2f10e26c4cce48595497b (diff) | |
Revert "Fixing printers for pr_auto_using and pr_firstorder_using."
This reverts commit 23ebfc41fba48ccce9bc878de258d1b0901f7dda.
Diffstat (limited to 'doc/tutorial/Tutorial.tex')
0 files changed, 0 insertions, 0 deletions