diff --git a/doc/Manual.txt b/doc/Manual.txt new file mode 100644 index 0000000000000000000000000000000000000000..de33a889c518dd8744494f530c99429fa02df3aa --- /dev/null +++ b/doc/Manual.txt @@ -0,0 +1 @@ +This is the manual for test_submodule_1. \ No newline at end of file