Fix odd indentation in snavig.pl.

diff --git a/src/misc/snavig.pl b/src/misc/snavig.pl
index e3e44fc05f2f251c4d03e3cee01222a055e6b2f3..9b39c94b928b1c77d4a00ed5faa8e6aaa8564f44 100755 (executable)
--- a/src/misc/snavig.pl
+++ b/src/misc/snavig.pl
@@ -18,8 +18,8 @@
 # truncated to 6 characters and case is no longer significant."
 #
 # So you need to map all the symbols in the header files, everything declared
-#  "extern" in the source files, and also make sure that your input file names
-#  are unambiguous.
+# "extern" in the source files, and also make sure that your input file names
+# are unambiguous.
 #
 # This script is heavily based on one by Adam Thornton for pulling in a
 # remote git repository of Dumb Frotz, processing it, and then emitting