diff options
| author | Hugo Herbelin | 2016-10-15 00:24:20 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2016-10-15 00:26:55 +0200 |
| commit | ec878d596f15ad2baa10395fffd3849df5597f78 (patch) | |
| tree | a4aae5495eaa766b3f05b4c775a275c663007ade /plugins | |
| parent | 58d1381316560eadbe859b53780fe8da7723ad31 (diff) | |
One more little bug in the output of "debug auto".
Header was missing in last commit.
One day, it would be nice to unify the display of "debug auto" and
"debug eauto"...
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions