Remove whitespace

agda · Jul 5, 2023 · 132a2a3 · 132a2a3
1 parent 7b19530
commit 132a2a3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/RELEASE.md b/RELEASE.md
@@ -15,7 +15,7 @@ Fill in the form with something like this:
 * Files: Download the current filetree via github (using the clone-button)
   Be carteful, this produces a zip which contains a folder called ```cubical-master```.
   Produce a good zip from that and a tar.gz named `cubical-0.X.zip` and `cubical-0.X.tar.gz`,
-  e.g. rename the folder to ```cubical``` and 
+  e.g. rename the folder to ```cubical``` and
   ```
   zip -r cubical-0.5.zip cubical
   tar cfz cubical-0.5.tar.gz cubical