diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-05-30 16:28:58 -0700 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-05-30 16:28:58 -0700 |
| commit | 6f62423418ec1be8eb353acb971588e2698e8470 (patch) | |
| tree | 7766f7ba3b89e55808835dc114838877f4b4cb22 /src/theory | |
| parent | 13a9ee796ab23d69509544a48c55d4fd281a7de0 (diff) | |
Ignore license key in set-info command. (#2021)
Diffstat (limited to 'src/theory')
0 files changed, 0 insertions, 0 deletions