diff options
| author | Cyrille Bagard <nocbos@gmail.com> | 2020-12-11 15:51:27 (GMT) |
|---|---|---|
| committer | Cyrille Bagard <nocbos@gmail.com> | 2020-12-11 15:51:27 (GMT) |
| commit | d9226fdf0cbaf8aa302bdb44b069173014a85264 (patch) | |
| tree | c4664f0954c39eb764e3fe2f3e61f84cc3b451c0 /plugins/govm/tok.l | |
| parent | f61d22146a0b9c476157e79b49afabb89ac9e931 (diff) | |
Excluded an useless header.
Diffstat (limited to 'plugins/govm/tok.l')
0 files changed, 0 insertions, 0 deletions