day 23 optimize, with help
tree9217a71409aad8f5c95d45bb4d0c0ea42a216cb7
-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
drwxr-xr-x - 2023
-rw-r--r-- 35149 COPYING
-rw-r--r-- 404 README
-rw-r--r-- 3852 common.m4
-rw-r--r-- 3074 math64.m4
-rw-r--r-- 4054 ocr.m4
-rw-r--r-- 7334 priority.m4
-rw-r--r-- 43162 times.ods