update line count

martinescardo · Jul 17, 2024 · 190c2d8 · 190c2d8
1 parent 2cd735a
commit 190c2d8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/source/index.lagda b/source/index.lagda
@@ -55,7 +55,7 @@
 
      (https://www.cs.bham.ac.uk/~mhe/TypeTopology/AllModulesIndex.html)
 
-   * In our last count, on 2024.07.16, this development has 768 Agda
+   * In our last count, on 2024.07.17, this development has 769 Agda
      files with 221K lines of code, including comments and blank
      lines. But we don't update the count frequently.