| author | Clifford Wolf <clifford@clifford.at> | |
| Fri, 29 Jun 2018 17:21:04 +0000 (19:21 +0200) | ||
| committer | Clifford Wolf <clifford@clifford.at> | |
| Fri, 29 Jun 2018 17:21:04 +0000 (19:21 +0200) | ||
| commit | 0404cf61d5f230de70bc6e6e6bf907bf7b112e0d | |
| tree | 0b126f66c9bc92a9d71e60ef88c0fdcff5a3191d | tree |
| parent | ebf0f003d3e8d219b396d4c6a3943e1ce54d2879 | commit | diff |
| frontends/verific/verificsva.cc | diff | blob | history |