diff options
| author | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2013-07-21 12:14:32 +0200 |
|---|---|---|
| committer | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2013-07-21 12:14:32 +0200 |
| commit | 7c2f344105e0b52e4bbf5432d16a8f1f22f0ebb2 (patch) | |
| tree | 679c82af881b049856a44c9ca939c767c314544d /TODO.org | |
| parent | be740b5618753fff918f75df293081a7560891fd (diff) | |
When warning about undefined variables, take global specialness into account.
Diffstat (limited to 'TODO.org')
0 files changed, 0 insertions, 0 deletions