diff options
| author | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-03-30 11:23:52 +0200 |
|---|---|---|
| committer | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-03-30 11:23:52 +0200 |
| commit | dd993fcf19f02dc1c694e16cd6fafadceb19dd4e (patch) | |
| tree | 7231ffd5d341904ae75a6d141c6b36754d1ec4b6 /src/lib/.gitignore | |
| parent | 8cef483119da184d631634bc98b5236ac54c30ae (diff) | |
| parent | 1d4442e472d20f261986089ea468daa93631d1f4 (diff) | |
| download | ouroboros-dd993fcf19f02dc1c694e16cd6fafadceb19dd4e.tar.gz ouroboros-dd993fcf19f02dc1c694e16cd6fafadceb19dd4e.zip | |
Merge branch 'be' of bitbucket.org:ouroboros-rina/ouroboros into HEAD
Diffstat (limited to 'src/lib/.gitignore')
| -rw-r--r-- | src/lib/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/lib/.gitignore b/src/lib/.gitignore new file mode 100644 index 00000000..8704469b --- /dev/null +++ b/src/lib/.gitignore @@ -0,0 +1 @@ +*.pb-c.[ch]
\ No newline at end of file |