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

propensive · Jan 2, 2025 · 90027b0 · 90027b0
2 parents 46bada4 + 35bc011
commit 90027b0
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/.github/readme.md b/.github/readme.md
@@ -24,6 +24,7 @@ it&rsquo;s the same as for any other program.
 
 
 
+
 ## Getting Started
 
 _Probably_ defines only two primary types: a mutable `Runner` for recording test results and reporting back on
@@ -214,7 +215,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 757 lines of code.
+of 765 lines of code.
 
 ## Building
 

diff --git a/doc/lines.md b/doc/lines.md
@@ -1 +1 @@
-757
+765