Files

index-api

and

Ergvein core (#921 )

Apr 27, 2021

b5c4381 · Apr 27, 2021

Name		Name	Last commit message	Last commit date
parent directory ..
src/Ergvein/Index		src/Ergvein/Index	-Wall in dependencies of indexer server (#761 )	Nov 23, 2020
Setup.hs		Setup.hs	Remove all warnings (#804 )	Dec 29, 2020
ergvein-index-api.cabal		ergvein-index-api.cabal	Ergvein core (#921 )	Apr 27, 2021
ghcid.sh		ghcid.sh	Rename index folder #2	Oct 3, 2019