From b97dabbdfad225417a04c56592fdb3be357a14ae Mon Sep 17 00:00:00 2001 From: Francis Rowe Date: Thu, 28 Jan 2016 05:53:40 -0500 Subject: vim is better --- diff --git a/site/gnu/index.php b/site/gnu/index.php index 99b7e1d..7ec6f61 100644 --- a/site/gnu/index.php +++ b/site/gnu/index.php @@ -62,9 +62,9 @@ that are not in texinfo format.