Corrections to push-pull

2017-02-27 10:44:18 +01:00 · 2017-02-27 10:44:18 +01:00 · 0282ab8308
parent 75b7d38ed5
commit 0282ab8308
3 changed files with 1 additions and 1 deletions
--- a/include/pushpull-trimming.html
+++ b/include/pushpull-trimming.html
@ -9,7 +9,7 @@
  <dfn>Push/Pull trim</dfn>, activated by pressing <kbd class="mod3n"></kbd> key before
  starting the drag, will do just that.
 </p>
-</p>
+<p>
  The following pictures show the difference in the results of a normal trim and
  a push/pull trim:
 </p>
--- a/source/images/after-push-trim.png
+++ b/source/images/after-push-trim.png
--- a/source/images/before-trim.png
+++ b/source/images/before-trim.png