diff options
| author | Enrico Tassi | 2014-12-29 10:09:45 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2014-12-29 10:09:45 +0100 |
| commit | 0fb1a406c6b0ef7a467e05e37eb97263362eb29e (patch) | |
| tree | 0aa330e631a4120f29fa907a7cbcca0213d82b1a /dev | |
| parent | ab61aa61b1bb50f76101bb38ea5fe76eb1ea2244 (diff) | |
Proof using: do not clear letins (unless they use a cleared var)
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions