diff options
| author | Théo Zimmermann | 2018-09-07 11:37:17 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-09-07 11:37:17 +0200 |
| commit | 2df7644f5bb8c1fc0345cd94807c7cf284c980fb (patch) | |
| tree | 01af8ca0521edccf12dfb0d5b2090422fae3ce13 /kernel | |
| parent | 07c3905c30590c93f1b173833087bbd1df364227 (diff) | |
Add utop to default.nix for use in nix-shell (see #8426).
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions