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 /doc/.gitignore | |
| 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 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions