blagda 0.1.0.0 → 0.1.0.1
raw patch · 2 files changed
+2/−2 lines, 2 files
Files
- app/Main.hs +1/−1
- blagda.cabal +1/−1
app/Main.hs view
@@ -55,7 +55,7 @@ }) $ do - agda_files <- agdaHTML+ agda_files <- agdaHTML "site" fileIdents <- liftIO $ newCacheIO parseFileIdents fileTypes <- liftIO $ newCacheIO parseFileTypes
blagda.cabal view
@@ -5,7 +5,7 @@ -- see: https://github.com/sol/hpack name: blagda-version: 0.1.0.0+version: 0.1.0.1 synopsis: Shake frontend for Agda blogging description: Please see the README on GitHub at <https://github.com/isovector/blagda#readme> category: Blog