diff options
| author | Gaëtan Gilbert | 2019-07-02 11:56:44 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-07-03 17:01:29 +0200 |
| commit | 5a6de0ece2436a0fe49750ba0ec26da90f0417e3 (patch) | |
| tree | ab3705be68b8908bf0e1fa7b283ac4e168c82665 /kernel | |
| parent | 9edb5777f08f338367cd4384abdc17efcf2c2892 (diff) | |
Remove constrintern global_level dead code
Not sure what this was for.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions