diff options
| author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-09-01 13:25:38 +0100 |
|---|---|---|
| committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-09-01 13:25:38 +0100 |
| commit | 5587a3a45d9fb706e97f13b836fe4021179d1aeb (patch) | |
| tree | 565fe4ee31d2c0f68472b645228cd1e7d58c6eb1 /vericert.opam | |
| parent | 6b7f0ddcf16d6a4e3629cfc19af3de7253d65f15 (diff) | |
| download | vericert-5587a3a45d9fb706e97f13b836fe4021179d1aeb.tar.gz vericert-5587a3a45d9fb706e97f13b836fe4021179d1aeb.zip | |
Give more specific reasons for Renaming failing
Diffstat (limited to 'vericert.opam')
0 files changed, 0 insertions, 0 deletions