diff options
| author | tv <tv@shackspace.de> | 2014-07-28 03:19:32 +0200 |
|---|---|---|
| committer | tv <tv@shackspace.de> | 2014-07-28 03:19:32 +0200 |
| commit | e5e693b69e523bac9eff3a76b901e25ab8897e09 (patch) | |
| tree | 63c2ccc849b18e29837836b6ae85cab1d6b9e2e8 /Makefile | |
| parent | 014d7a59d6522febf639e3a0f3801271e9aec4ab (diff) | |
rm obsolete commands Insert*{Verbatim,ChangeMode}
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions