Idris/ssg
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Move Djot module

Browse source
This commit is contained in:
Nathan McCarty 2025-02-21 03:26:12 -05:00
parent f60e209073
commit f0718bbf2c
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
SSG.ipkg
View file

@ -21,7 +21,7 @@ depends = structures
-- modules to install -- modules to install
modules = SSG.Parser.Core modules = SSG.Parser.Core
, SSG.Parser.Util , SSG.Parser.Util
, SSG.Parser.Djot , SSG.Djot
, SSG.HTML , SSG.HTML
, SSG.HTML.ElementTypes , SSG.HTML.ElementTypes

2
src/SSG/Parser/Djot.idr → src/SSG/Djot.idr
View file

@ -1,4 +1,4 @@
module SSG.Parser.Djot module SSG.Djot
import SSG.Parser.Core import SSG.Parser.Core
import SSG.Parser.Util import SSG.Parser.Util