diff options
author | Robin Gareus <robin@gareus.org> | 2016-02-28 17:06:53 +0100 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2016-02-28 17:06:53 +0100 |
commit | 0ac1ae0d0e6719298e3ccfde6f846541c1c8bfe9 (patch) | |
tree | afd8833ae8414665e18a2e0dd53cc10bf833e585 /tools/luadevel | |
parent | 88c839d0789b80330c934024e4c9ae9faafe916e (diff) |
remove unused heading
Diffstat (limited to 'tools/luadevel')
0 files changed, 0 insertions, 0 deletions