From 5131514b29473fb93d4a9e0521090d326b0efa38 Mon Sep 17 00:00:00 2001 From: ng0 Date: Sat, 9 Nov 2019 17:19:45 +0000 Subject: [PATCH] rename texi source gnunet-tutorial to gnunet_tutorial --- doc/tutorial/{gnunet-tutorial.texi => gnunet_tutorial.texi} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename doc/tutorial/{gnunet-tutorial.texi => gnunet_tutorial.texi} (100%) diff --git a/doc/tutorial/gnunet-tutorial.texi b/doc/tutorial/gnunet_tutorial.texi similarity index 100% rename from doc/tutorial/gnunet-tutorial.texi rename to doc/tutorial/gnunet_tutorial.texi -- 2.25.1