diff options
| author | Théo Zimmermann | 2021-03-05 15:08:36 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2021-03-05 15:12:08 +0100 |
| commit | 9955d2dfe778e41e447cb3ae71e708c7a3716f0d (patch) | |
| tree | a1d079d551d8a3ec68652b7352291aa984fbb429 /kernel/nativecode.ml | |
| parent | 4927211d7139730fdd8cfe1319b03c11c1659639 (diff) | |
Update nixpkgs.
To get the right version of git to use the list-contributors.sh script.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions