diff options
| author | Quentin Carbonneaux | 2020-05-07 12:26:37 +0200 |
|---|---|---|
| committer | Quentin Carbonneaux | 2020-05-07 13:01:13 +0200 |
| commit | 5e385d0744764cc22c66af898ed11859df0b6225 (patch) | |
| tree | 3f36aa372aad7906dea6732f2b73d063a5fc56e8 /dev/ci/ci-lambda_rust.sh | |
| parent | 2dd59422a4f2ba1d6e75e710b88129751379aa79 (diff) | |
Cleanup formatting in .. coqtop:: directives
Diffstat (limited to 'dev/ci/ci-lambda_rust.sh')
0 files changed, 0 insertions, 0 deletions