diff options
| author | Tianyi Liang <tianyi-liang@uiowa.edu> | 2013-12-25 18:44:59 -0600 |
|---|---|---|
| committer | Tianyi Liang <tianyi-liang@uiowa.edu> | 2013-12-25 18:44:59 -0600 |
| commit | 97b04f18011a56e11fc5057b304fff9e9ab4e753 (patch) | |
| tree | a172539094d536b112c7a84f274a8cc0950751b1 /.mailmap | |
| parent | 2149ccfe0ab56bcd2661f506e8b7d1ee72896ba3 (diff) | |
| parent | a330794d87890f373d8e06c91bf6d6cc9fd662ff (diff) | |
Merge branch 'master' of https://github.com/CVC4/CVC4
Diffstat (limited to '.mailmap')
0 files changed, 0 insertions, 0 deletions