From facca2331519d5d56a926f93f0cdf925fe0857da Mon Sep 17 00:00:00 2001
From: pcoves <33952527+pcoves@users.noreply.github.com>
Date: Wed, 8 Jul 2020 22:57:11 +0200
Subject: Add pcoves's userspace (#9354)

Co-authored-by: Ryan <fauxpark@gmail.com>
Co-authored-by: Pablo COVES <pablo.coves@anatoscope.com>
---
 users/pcoves/.gitignore | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 users/pcoves/.gitignore

(limited to 'users/pcoves/.gitignore')

diff --git a/users/pcoves/.gitignore b/users/pcoves/.gitignore
new file mode 100644
index 0000000000..c0579ed329
--- /dev/null
+++ b/users/pcoves/.gitignore
@@ -0,0 +1,2 @@
+secret.h
+secret.c
-- 
cgit v1.2.3