From bda44e93541fa478abf3ce4b3461f026a90fa8cb Mon Sep 17 00:00:00 2001 From: Thomas Voss Date: Mon, 11 Sep 2023 05:15:20 +0200 Subject: Move the site from HTML to GSP --- src/prj/mmv/manual-mv.sh.html | 5 ----- 1 file changed, 5 deletions(-) delete mode 100644 src/prj/mmv/manual-mv.sh.html (limited to 'src/prj/mmv/manual-mv.sh.html') diff --git a/src/prj/mmv/manual-mv.sh.html b/src/prj/mmv/manual-mv.sh.html deleted file mode 100644 index 2484d9f..0000000 --- a/src/prj/mmv/manual-mv.sh.html +++ /dev/null @@ -1,5 +0,0 @@ -$ mv bytecodeVm.c bytecode_vm.c -$ mv fastLexer.c fast_lexer.c -$ mv fastLexer.h fast_lexer.h -$ mv slowParser.c slow_parser.c -$ mv slowParser.h slow_parser.h -- cgit v1.2.3