add alpha renaming
[lambda.git] / Makefile
2018-05-17 Mart Lubbersadd alpha renaming
2018-05-16 Mart Lubbersremove header
2018-05-15 Mart LubbersInitial commit