projects / cvc5.git / commit
| author | Mathias Preiner <mathias.preiner@gmail.com> | |
| Thu, 14 Mar 2019 19:45:49 +0000 (12:45 -0700) | ||
| committer | Mathias Preiner <mathias.preiner@gmail.com> | |
| Thu, 14 Mar 2019 19:45:49 +0000 (12:45 -0700) | ||
| commit | 68ef3fc3c5aee55e3c89968486c98d59f0043fb1 | |
| tree | 95b56422958f4a574edb80fc23c1d451c6ad0b4f | tree |
| parent | 92d541960c7c1d4b06dbef8bebbb106d52fcaeb4 | commit | diff |
| .github/dco.yml | [new file with mode: 0644] | blob |