Age | Commit message (Collapse) | Author | |
---|---|---|---|
2017-06-15 | Move to -git format | Donald Carr | |
Change-Id: Ia50c9cb2d6923b58179e8c8a701d925627cfbf78 | |||
2017-06-14 | Move to tagged based versioning | Donald Carr | |
Change-Id: I221489fc5f422dff57a616bc285bbb6e51b7cae0 | |||
2017-06-12 | Clean up quint packaging | Donald Carr | |
Change-Id: I4c5162645ab043579314f4eb985f066e7602837c | |||
2016-08-11 | Adjust info | Donald Carr | |
Change-Id: I0b071ee4aef1e42309b860a6cfa7001369c322a2 | |||
2016-02-26 | Fix various oversights | Donald Carr | |
Change-Id: Icd1af5a90ffc2b22a76e503e733e7d6d3d37aff1 | |||
2016-02-26 | Initial commit of quint | Donald Carr | |
Change-Id: I2c9e68f32dd3f8469d63f871431b69a379c00edc |