diff options
| author | Dimitri Staessens <dimitri.staessens@intec.ugent.be> | 2016-03-29 12:06:58 +0200 |
|---|---|---|
| committer | Dimitri Staessens <dimitri.staessens@intec.ugent.be> | 2016-03-29 12:06:58 +0200 |
| commit | 1d4442e472d20f261986089ea468daa93631d1f4 (patch) | |
| tree | 3b27a134c762190b096de421310a50910dca4a34 /src/lib/.gitignore | |
| parent | e5d67f7d4df123c2490201447681f2efd553dcc1 (diff) | |
| parent | 37c4ccaf59a0406053573e14909be48322ffb084 (diff) | |
| download | ouroboros-1d4442e472d20f261986089ea468daa93631d1f4.tar.gz ouroboros-1d4442e472d20f261986089ea468daa93631d1f4.zip | |
Merged in sandervrijders/ouroboros/be-gpb (pull request #45)
Replace custom ser/des with GPB
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 |