diff options
| author | pcoves <33952527+pcoves@users.noreply.github.com> | 2020-07-08 22:57:11 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-08 21:57:11 +0100 |
| commit | facca2331519d5d56a926f93f0cdf925fe0857da (patch) | |
| tree | 575913db2ecb5a78eeb22acabd69825f54d31b0d /users/pcoves/.gitignore | |
| parent | 071e0c2029e7923cbaa6ff721365b2f61cdd08d8 (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/.gitignore | 2 |
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 |