add missing newline at end of experiment/formal/.gitignore
authorcolepoirier <colepoirier@gmail.com>
Tue, 9 Feb 2021 22:38:47 +0000 (14:38 -0800)
committercolepoirier <colepoirier@gmail.com>
Tue, 9 Feb 2021 22:38:47 +0000 (14:38 -0800)
commitd647da4a3284c9411cbf378380c63c8c1148d505
treee0da94b42431c36b859c73e5a19f655de6875ebc
parent60bf6b645339f785b18b0a01d83f0cb42e111c98
add missing newline at end of experiment/formal/.gitignore
src/soc/experiment/formal/.gitignore