summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorDimitri Staessens <dimitri.staessens@ugent.be>2018-06-08 10:00:53 +0200
committerSander Vrijders <sander.vrijders@ugent.be>2018-06-08 10:02:02 +0200
commit0013274174b7b6c87985431a7bc314cac509f1fa (patch)
tree175e7d8b115087d71e50420c3bf2f93b638daa07 /.gitignore
parent6379a9afb131ed95ca7073299e4e365e2a4abf3b (diff)
downloadouroboros-0013274174b7b6c87985431a7bc314cac509f1fa.tar.gz
ouroboros-0013274174b7b6c87985431a7bc314cac509f1fa.zip
lib: Remove unused #define in rdrbuff
This removes a #define that was not used anymore Signed-off-by: Dimitri Staessens <dimitri.staessens@ugent.be> Signed-off-by: Sander Vrijders <sander.vrijders@ugent.be>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions