| author | Clifford Wolf <clifford@clifford.at> | |
| Fri, 4 Jan 2019 14:03:29 +0000 (15:03 +0100) | ||
| committer | Clifford Wolf <clifford@clifford.at> | |
| Fri, 4 Jan 2019 14:03:49 +0000 (15:03 +0100) | ||
| commit | 6d1e7e9403c81289492af889922df9aa3e3842b0 | |
| tree | 535acc886659cc0aa3242622e6034ca8d42ac4b3 | tree |
| parent | 7a2db03aa7fc4d290f6c770c86b63a3510598c91 | commit | diff |
| frontends/verific/README | diff | blob | history |