diff options
author | Dimitri Staessens <dimitri.staessens@ugent.be> | 2018-06-08 10:00:53 +0200 |
---|---|---|
committer | Sander Vrijders <sander.vrijders@ugent.be> | 2018-06-08 10:02:02 +0200 |
commit | 0013274174b7b6c87985431a7bc314cac509f1fa (patch) | |
tree | 175e7d8b115087d71e50420c3bf2f93b638daa07 /CONTRIBUTORS | |
parent | 6379a9afb131ed95ca7073299e4e365e2a4abf3b (diff) | |
download | ouroboros-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 'CONTRIBUTORS')
0 files changed, 0 insertions, 0 deletions