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:54:57 +02:00
parent 50483128cc
commit 35ce033309
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
}
See also @racketlink[time-scale "gregor"].
See also @racketlink["time-scale" "gregor"].
@author[@author+email["Hans Dijkema" "hans@dijkewijk.nl"]]