From c09313a92c6f1d2cca4fe8054f19de73c0b006c1 Mon Sep 17 00:00:00 2001 From: radrow Date: Tue, 22 Jun 2021 17:55:31 +0200 Subject: [PATCH] newline --- .gitignore | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index 0aa0298..f7ebb14 100644 --- a/.gitignore +++ b/.gitignore @@ -21,4 +21,4 @@ rebar3.crashdump aesophia .qcci current_counterexample.eqc -test/contracts/test.aes \ No newline at end of file +test/contracts/test.aes