Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
.github/workflows
Fix ci (#21)
May 13, 2021
data
tweak licensing information
Feb 28, 2018
data_src
battery terminal booting and insert sounds
Jul 26, 2012
deploymentLicenses
minor changes to deployed README, LICENSE and THANKS files
Jul 20, 2012
docs
sensible options for module graph docs
Nov 15, 2010
src
Build in docker (#20)
May 13, 2021
.boring
additions to boringFile
Jul 5, 2012
.gitignore
Build in docker (#20)
May 13, 2021
Dockerfile
Build in docker (#20)
May 13, 2021
LICENSE
license
May 1, 2010
README.md
tweaked README
Feb 3, 2015
buildInDocker.hs
Build in docker (#20)
May 13, 2021