log

age author description
Fri, 16 Dec 2022 21:55:37 -0500 Paper *: add the restrict keyword when necessary
Fri, 16 Dec 2022 20:46:33 -0500 Paper git leftovers: remove .gitignore