diff options
| author | Ismaël Bouya <ismael.bouya@normalesup.org> | 2022-07-25 18:00:08 +0200 |
|---|---|---|
| committer | Ismaël Bouya <ismael.bouya@normalesup.org> | 2022-07-25 18:01:28 +0200 |
| commit | e7c110bd0f0cdd93b7b162c8c4268e7a7baa8f31 (patch) | |
| tree | 9bc8a501adbd9062d658d143925222c9d3ddd2a3 /config.ini | |
| parent | 7f87c8f041cb3b1076ee4fea5e813205d1de5915 (diff) | |
| download | Trader-dev.tar.gz Trader-dev.tar.zst Trader-dev.zip | |
Fix CI configdev
Diffstat (limited to 'config.ini')
0 files changed, 0 insertions, 0 deletions