From e96186c5ca947d139715e0e132209a739ea036ce Mon Sep 17 00:00:00 2001 From: sagebind Date: Thu, 21 Oct 2021 16:30:28 +0000 Subject: [PATCH] =?UTF-8?q?Deploying=20to=20gh-pages=20from=20=20@=2073c43?= =?UTF-8?q?66538c70990faa5157587f7e31a48fc7886=20=F0=9F=9A=80?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- guide.html | 2 +- reference.html | 2 +- ripshell.html | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/guide.html b/guide.html index af09ae5..11538be 100644 --- a/guide.html +++ b/guide.html @@ -1048,7 +1048,7 @@

9. Examples

diff --git a/reference.html b/reference.html index 77790f3..5024674 100644 --- a/reference.html +++ b/reference.html @@ -1505,7 +1505,7 @@

Appendix B: Influences

diff --git a/ripshell.html b/ripshell.html index 3332424..75cdd4f 100644 --- a/ripshell.html +++ b/ripshell.html @@ -560,7 +560,7 @@

Appendix A: Goals