diff options
| author | Dimitri Staessens <[email protected]> | 2023-09-17 13:49:59 +0200 |
|---|---|---|
| committer | Sander Vrijders <[email protected]> | 2023-09-20 18:51:19 +0200 |
| commit | c7fbae74dcf91333cc53632153e1c91e2a641f0d (patch) | |
| tree | 93fc011ea9d249589a92c0becc569eae3e88a832 /src/lib/.gitignore | |
| parent | a032b25832a75deef7d6d8b48a0786e5838df419 (diff) | |
| download | ouroboros-c7fbae74dcf91333cc53632153e1c91e2a641f0d.tar.gz ouroboros-c7fbae74dcf91333cc53632153e1c91e2a641f0d.zip | |
lib: Rename portevent to flowevent
Doesn't make any sense to call it a port event...
Signed-off-by: Dimitri Staessens <[email protected]>
Signed-off-by: Sander Vrijders <[email protected]>
Diffstat (limited to 'src/lib/.gitignore')
0 files changed, 0 insertions, 0 deletions