From 83d7e31eee8ddcd488e0e998a71416148ae7a909 Mon Sep 17 00:00:00 2001 From: Dmitry Simonenko Date: Wed, 11 Jan 2017 12:24:57 +0300 Subject: [PATCH] machinarium: update .gitignore file --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index 53670401..ab7d8d3d 100644 --- a/.gitignore +++ b/.gitignore @@ -1,5 +1,6 @@ *.o *.a +*.so example/benchmark example/echo example/wait