diff options
| author | Arnaud Spiwack | 2014-10-16 10:10:02 +0200 |
|---|---|---|
| committer | Arnaud Spiwack | 2014-10-16 10:37:47 +0200 |
| commit | e6708590ce648921f27395ce535e35d52aa2cc0f (patch) | |
| tree | d086ca3b9d6d98627290411be747d541dd15ee01 /kernel | |
| parent | 0ae6d27680e5b87bbb00c6941cee1b0c309624ec (diff) | |
Proofview: remove unused [refresh_sigma] compatibility primitive.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions