diff options
| author | Théo Zimmermann | 2016-10-18 16:51:21 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2016-10-18 16:51:21 +0200 |
| commit | 6791a37b4e4ba9be829959b419e37a96e2eb5b84 (patch) | |
| tree | fcf1ebc517247fdf45e32be4f4a24e5636a20b71 /dev | |
| parent | 17ec7a0c875014e5322f6098dcd2014072cde9d8 (diff) | |
Document info_auto.
Now that this tactic has been fixed (commit 58d1381),
it needed to get documented.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions