diff options
Diffstat (limited to 'docs/stats.txt')
| -rw-r--r-- | docs/stats.txt | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/stats.txt b/docs/stats.txt index 09e90e9..615cfe0 100644 --- a/docs/stats.txt +++ b/docs/stats.txt @@ -1,6 +1,6 @@ make[1]: Entering directory '/home/paul/git/fype' ===> Num of C source files : 46 -===> Num of C source lines : 8753 -===> Num of Fype source examples : 19 -===> Num of Fype source lines : 883 +===> Num of C source lines : 7143 +===> Num of Fype source examples : 18 +===> Num of Fype source lines : 497 make[1]: Leaving directory '/home/paul/git/fype' |