From bbdbea964ef3a260d7ac456c2ec16ecf39418ce3 Mon Sep 17 00:00:00 2001 From: jpekkila Date: Sat, 18 Jan 2020 15:27:59 +0200 Subject: [PATCH] Renamed the old WIP manual from .md to .txt s.t. it's not scanned when generating doxygen documentation --- doc/manual/{manual.md => manual.txt} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename doc/manual/{manual.md => manual.txt} (100%) diff --git a/doc/manual/manual.md b/doc/manual/manual.txt similarity index 100% rename from doc/manual/manual.md rename to doc/manual/manual.txt