summaryrefslogtreecommitdiff
path: root/users/pcoves/.gitignore
diff options
context:
space:
mode:
authorpcoves <33952527+pcoves@users.noreply.github.com>2020-07-08 22:57:11 +0200
committerGitHub <noreply@github.com>2020-07-08 21:57:11 +0100
commitfacca2331519d5d56a926f93f0cdf925fe0857da (patch)
tree575913db2ecb5a78eeb22acabd69825f54d31b0d /users/pcoves/.gitignore
parent071e0c2029e7923cbaa6ff721365b2f61cdd08d8 (diff)
Add pcoves's userspace (#9354)
Co-authored-by: Ryan <fauxpark@gmail.com> Co-authored-by: Pablo COVES <pablo.coves@anatoscope.com>
Diffstat (limited to 'users/pcoves/.gitignore')
-rw-r--r--users/pcoves/.gitignore2
1 files changed, 2 insertions, 0 deletions
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