bulkrename

Bulk file/directory renaming utility, similar to rangers built-in bulkrename command
git clone git://git.deurzen.net/bulkrename
Log | Files | Refs | LICENSE
commit 9292bf9424c54f690f3a13fa159bb2b3293e31d8
parent cc59c7eb69d6d28c39862bec64dc1cc5364d5c6a
Author: deurzen <m.deurzen@tum.de>
Date:   Wed,  4 Dec 2019 05:04:44 +0100

fixes include error

Diffstat:

Msrc/node.hh | 1+


1 file changed, 1 insertion(+), 0 deletions(-)

diff --git a/src/node.hh b/src/node.hh
@@ -4,6 +4,7 @@
 #include <filesystem>
 #include <fstream>
 #include <iostream>
+#include <vector>
 
 
 enum class nodetype_t