diff options
| author | Cyrille Bagard <nocbos@gmail.com> | 2018-06-25 10:32:18 (GMT) |
|---|---|---|
| committer | Cyrille Bagard <nocbos@gmail.com> | 2018-06-25 19:04:38 (GMT) |
| commit | 3612ad254e8ef4a4ffed735b7f0e0fcb16b86bb5 (patch) | |
| tree | 53162c2b63cfa988908412d43e70f3b35273e109 /plugins/govm/tok.l | |
| parent | 7dd726569e39a1a906653822b5a1c093b9420d8b (diff) | |
Removed a useless header.
Diffstat (limited to 'plugins/govm/tok.l')
0 files changed, 0 insertions, 0 deletions