Use latest Tumult docs

propensive · Jan 12, 2024 · 9d9add2 · 9d9add2
1 parent fc409d6
commit 9d9add2
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.github/workflows/admin.yml b/.github/workflows/admin.yml
@@ -14,6 +14,6 @@ jobs:
     - name: Checkout
       uses: actions/checkout@v3
     - name: Tidy repository
-      uses: propensive/tumult@0.5.2
+      uses: propensive/tumult@0.5.3
     - name: Autocommit changes
       uses: stefanzweifel/git-auto-commit-action@v4
diff --git a/doc/basics.md b/doc/basics.md
@@ -97,3 +97,4 @@ diff elements, or prefer one or the other.
 
 
 
+
Original file line number	Diff line number	Diff line change
Expand Up		@@ -97,3 +97,4 @@ diff elements, or prefer one or the other.