Merge branch 'master' of git.martlubbers.net:lambda
[lambda.git] / Makefile
2018-05-17 Mart LubbersMerge branch 'master' of git.martlubbers.net:lambda
2018-05-17 Mart Lubbersadd alpha renaming
2018-05-16 Mart Lubbersremove header
2018-05-15 Mart LubbersInitial commit