hans/gregor-utils
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

ok

Browse Source
This commit is contained in:
Hans Dijkema
2025-08-27 01:52:27 +02:00
parent f1f65451cd
commit 50483128cc
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
scribblings/gregor-utils.scrbl
View File

@@ -11,7 +11,7 @@
Some utility functions around gregor Some utility functions around gregor
} }
See also @racketlink[gregor "gregor"]. See also @racketlink[time-scale "gregor"].
@author[@author+email["Hans Dijkema" "hans@dijkewijk.nl"]] @author[@author+email["Hans Dijkema" "hans@dijkewijk.nl"]]