Merge branch 'main' of github.com:propensive/probably

propensive · Feb 10, 2025 · 5232ee4 · 5232ee4
2 parents 8619034 + f133995
commit 5232ee4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/readme.md b/.github/readme.md
@@ -218,7 +218,7 @@ as long as caution is taken to avoid a mismatch between the project's stability
 level and the required stability and maintainability of your own project.
 
 Probably is designed to be _small_. Its entire source code currently consists
-of 842 lines of code.
+of 839 lines of code.
 
 ## Building
 

diff --git a/doc/lines.md b/doc/lines.md
@@ -1 +1 @@
-842
+839