diff options
author | ng0 <ng0@infotropique.org> | 2017-09-06 22:07:15 +0000 |
---|---|---|
committer | ng0 <ng0@infotropique.org> | 2017-09-06 22:07:15 +0000 |
commit | 4937acab4dd7adeb702181b683735f2dd97bcdc5 (patch) | |
tree | 8ab431ab8cc3a439098357b4406a70890662284d /doc | |
parent | c2c5f18ae7c0267f51b8b1bc955daea6176d9442 (diff) | |
download | gnunet-4937acab4dd7adeb702181b683735f2dd97bcdc5.tar.gz gnunet-4937acab4dd7adeb702181b683735f2dd97bcdc5.zip |
doc: gnunet.texi: Remove "Local Variables".
Diffstat (limited to 'doc')
-rw-r--r-- | doc/gnunet.texi | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/gnunet.texi b/doc/gnunet.texi index abd6b8196..7803e52d3 100644 --- a/doc/gnunet.texi +++ b/doc/gnunet.texi | |||
@@ -176,7 +176,3 @@ Installation | |||
176 | @printindex fn | 176 | @printindex fn |
177 | 177 | ||
178 | @bye | 178 | @bye |
179 | |||
180 | @c Local Variables: | ||
181 | @c ispell-local-dictionary: "american"; | ||
182 | @c End: | ||