From e582c817d5702ff11fc662240d5a3e70f0d57389 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gustav=20S=C3=B6rn=C3=A4s?= <gustav@sornas.net>
Date: Tue, 24 Nov 2020 17:01:58 +0100
Subject: add and update gitignores

---
 libpintos-rs/.gitignore | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 libpintos-rs/.gitignore

(limited to 'libpintos-rs')

diff --git a/libpintos-rs/.gitignore b/libpintos-rs/.gitignore
new file mode 100644
index 0000000..437e1f1
--- /dev/null
+++ b/libpintos-rs/.gitignore
@@ -0,0 +1 @@
+libpintos.a
-- 
cgit v1.2.1