search

aelve / guide

A workspace for research teams
https://guide.aelve.com
106 stars 10 forks source link

Redo the way undocumented definitions are counted #381

Closed neongreen closed 5 years ago

neongreen commented 5 years ago

Somehow awk '{ print "undocumented == " $1 }' undocumented was changing the number in the file from 225 to 248. I really don't know why.

neongreen commented 5 years ago

🤔