diff options
| author | Emilio Jesus Gallego Arias | 2018-11-15 03:42:07 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-11-17 07:23:52 +0100 |
| commit | e3e4687715ee2839f4d326cb225ba4a586b8a48a (patch) | |
| tree | 2d9a6b0ec57e5d81ee4a43d93cb4f4937e734457 /dev/ci | |
| parent | f8a76b3d383abf468fb21df509f5da8f8aafa913 (diff) | |
[pfedit] Remove cook_proof stub.
This is barely used and not very useful, clients should use the
close_proof API directly.
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions