diff options
author | Nils Gillmann <ng0@n0.is> | 2018-05-17 17:43:34 +0000 |
---|---|---|
committer | Nils Gillmann <ng0@n0.is> | 2018-05-17 17:43:34 +0000 |
commit | 7ef657ddcdb150ae7d08a66e68c49906255be966 (patch) | |
tree | ae72fd0b5d00cdee3cc8839ff75f03c4fe4719cf /doc | |
parent | 4a95f48489d0046c4aad919d73573e1a6616688b (diff) | |
download | gnunet-7ef657ddcdb150ae7d08a66e68c49906255be966.tar.gz gnunet-7ef657ddcdb150ae7d08a66e68c49906255be966.zip |
Add copyright to hacks.el
Signed-off-by: Nils Gillmann <ng0@n0.is>
Diffstat (limited to 'doc')
-rw-r--r-- | doc/hacks.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/hacks.el b/doc/hacks.el index 9f271b3af..bfb5c98fa 100644 --- a/doc/hacks.el +++ b/doc/hacks.el | |||
@@ -1,6 +1,7 @@ | |||
1 | ;;;; hacks.el --- a few functions to help me work on the manual | 1 | ;;;; hacks.el --- a few functions to help me work on the manual |
2 | ;;;; Jim Blandy <jimb@red-bean.com> --- October 1998 | 2 | ;;;; Jim Blandy <jimb@red-bean.com> --- October 1998 |
3 | ;;;; -- imported from https://git.savannah.gnu.org/cgit/guile.git/tree/doc/hacks.el | 3 | ;;;; -- imported from https://git.savannah.gnu.org/cgit/guile.git/tree/doc/hacks.el |
4 | ;;;; This code should be covered by the same license as GNU Guile (GPL3). | ||
4 | 5 | ||
5 | (defun jh-exemplify-region (start end) | 6 | (defun jh-exemplify-region (start end) |
6 | (interactive "r") | 7 | (interactive "r") |