diff options
| author | Hugo Herbelin | 2015-10-11 11:21:23 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2015-10-11 15:21:32 +0200 |
| commit | d399671f3f1a667a47540071feecb20baf115418 (patch) | |
| tree | fff37ab50410e527bbdedb53607d7067d4632457 /kernel | |
| parent | cd440dbd43a632cf8f445a80d034f36e4235c63e (diff) | |
Constr_matching: renaming misleading name stk into ctx.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions