diff options
| author | Joseph <Joseph.xu@efrei.net> | 2022-12-06 08:15:34 -0500 |
|---|---|---|
| committer | Joseph <Joseph.xu@efrei.net> | 2022-12-06 08:15:34 -0500 |
| commit | db34b05a772504cce4fd13c6fafec28cd0d75907 (patch) | |
| tree | 9b84982c90f907af51a40f04b2cc1db66bc58239 /src | |
| parent | b3a8ad3c726daddbe987914d79016170f5826d0d (diff) | |
-ignore
Diffstat (limited to 'src')
| -rw-r--r-- | src/exchangedb/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/exchangedb/.gitignore b/src/exchangedb/.gitignore index fcac98bc4..abe505527 100644 --- a/src/exchangedb/.gitignore +++ b/src/exchangedb/.gitignore @@ -9,3 +9,4 @@ shard-drop0001.sqltest-exchangedb-by-j-postgres test-exchangedb-by-j-postgres perf-exchangedb-reserves-in-insert-postgres exchange-0002.sql +procedures.sql |