diff options
author | Peter Hutterer <peter.hutterer@who-t.net> | 2018-02-22 10:38:16 +1000 |
---|---|---|
committer | Peter Hutterer <peter.hutterer@who-t.net> | 2018-03-01 11:50:46 +1000 |
commit | 4072db4c3868c76cb51e5dd70c1e8452423fbdbe (patch) | |
tree | 9fe0b49f5e697cd45b3c8ae751ec7d51e1a5ba50 /.vimdir | |
parent | 578151da61de568d276624b54a7697940d8f5384 (diff) |
doc: add a section to the tools page for record/replay
Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>
Diffstat (limited to '.vimdir')
0 files changed, 0 insertions, 0 deletions