thatonelutenist/website
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Special post handling

Browse source
This commit is contained in:
Nathan McCarty 2025-03-15 16:15:15 -04:00
parent c0780047bf
commit 3d2d1f897e
9 changed files with 24 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

1
db/posts/5.json
View file

@ -11,6 +11,7 @@
],
"source": "/home/nathan/Projects/Blog/projects/Idris/src/LessMacrosMoreTypes/Printf.md",
"source-code": "https://git.stranger.systems/thatonelutenist/website/src/branch/trunk/projects/Idris/src/LessMacrosMoreTypes/Printf.md",
"special": false,
"tags": [
"idris"
]