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