diff options
| author | Pierre-Marie Pédrot | 2014-08-28 15:14:29 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-08-28 22:45:24 +0200 |
| commit | 58543b45425b85233c068f9da859996270d1fdcf (patch) | |
| tree | 6981dca5a3bf4468d2533bb239dcf44aca190ebf /kernel | |
| parent | 32c83676c96ae4a218de0bec75d2f3353381dfb3 (diff) | |
Simplification of the tclCHECKINTERRUPT tactic.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions