cf0b9d1de2
Similarly, Flush() is typically called to attempt to flush a file into the disk. In the one case where this is used, we do not care whether the flush has succeeded or not, making [[nodiscard]] unnecessary. |
||
---|---|---|
.. | ||
backend.cpp | ||
backend.h | ||
filter.cpp | ||
filter.h | ||
log.h | ||
text_formatter.cpp | ||
text_formatter.h | ||
types.h |