diff options
author | Blaž Hrastnik | 2022-10-16 15:02:14 +0000 |
---|---|---|
committer | Skyler Hawthorne | 2022-10-19 02:31:39 +0000 |
commit | 52ba550098745b463f59211a0172c334daef350b (patch) | |
tree | ab74c4f45405dca550e2c8f90845e9f2775a496d /runtime/queries/tablegen | |
parent | 2a43ee016453e39e2cc4cae510ce7d75606e7199 (diff) |
Use flush_writes in application.close()
Diffstat (limited to 'runtime/queries/tablegen')
0 files changed, 0 insertions, 0 deletions