day 4 golf again
treee00034b389597b58e3c6a5dcccac208d60002443
-rw-r--r-- 40 .dir-locals.el
drwxr-xr-x - 2015
drwxr-xr-x - 2016
drwxr-xr-x - 2017
drwxr-xr-x - 2018
drwxr-xr-x - 2019
drwxr-xr-x - 2020
drwxr-xr-x - 2021
drwxr-xr-x - 2022
-rw-r--r-- 35149 COPYING
-rw-r--r-- 404 README
-rw-r--r-- 3852 common.m4
-rw-r--r-- 3115 math64.m4
-rw-r--r-- 4045 ocr.m4
-rw-r--r-- 4870 priority.m4