priority: add another algorithm for comparison purposes
tree694f42460772ade4ae7596d06133e5843973d406
-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-- 43017 times.ods