add missing newline at end of experiment/formal/.gitignore
[soc.git] / NEWS.txt
2019-05-07 Luke Kenneth Casso... add Makefile, setup.py, blank README and NEWS