diff options
| author | Théo Zimmermann | 2019-07-02 17:34:05 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-07-02 17:34:05 +0200 |
| commit | a75b66121dada7af491625a2a0f306c8fbcb7bbf (patch) | |
| tree | 3502a9c07fa6b1680bd2a3446f06bb3a9f7ab0c4 /kernel/nativecode.ml | |
| parent | 0cc7e942cd04f7fd28336045e43345b47a48b7a5 (diff) | |
[nix] python2 -> python3
We are not supposed to have any script depending specifically on python2.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions