diff options
Diffstat (limited to 'user/gambit-c/remove-non-ascii-character-from-gambit-txi.patch')
| -rw-r--r-- | user/gambit-c/remove-non-ascii-character-from-gambit-txi.patch | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/user/gambit-c/remove-non-ascii-character-from-gambit-txi.patch b/user/gambit-c/remove-non-ascii-character-from-gambit-txi.patch deleted file mode 100644 index 6bee6b2a1..000000000 --- a/user/gambit-c/remove-non-ascii-character-from-gambit-txi.patch +++ /dev/null @@ -1,22 +0,0 @@ -From 9c01e39351ae958541b983961851a2474dabeb8d Mon Sep 17 00:00:00 2001 -From: Marc Feeley <feeley@iro.umontreal.ca> -Date: Tue, 4 Jan 2022 09:19:32 -0500 -Subject: [PATCH] Remove non-ASCII character from gambit.txi - ---- - doc/gambit.txi | 2 +- - 1 file changed, 1 insertion(+), 1 deletion(-) - -diff --git a/doc/gambit.txi b/doc/gambit.txi -index 56187714b..a6a4caa90 100644 ---- a/doc/gambit.txi -+++ b/doc/gambit.txi -@@ -6658,7 +6658,7 @@ For example: - $ @b{gsi github.com/gambit/hello/demo @r{@i{# auto-install of github.com/gambit/hello package}}} - People customarily greet each other when they meet. - In English you can say: hello Bob, nice to see you! --In French you can say: bonjour Bob, je suis enchanté! -+In French you can say: bonjour Bob, je suis enchant@'e! - Demo source code: /Users/feeley/.gambit_userlib/github.com/gambit/hello/@@/demo.scm - $ @b{gsi github.com/feeley/roman/demo @r{@i{# no auto-install because not on whitelist}}} - *** ERROR IN ##main -- No such file or directory |