diff options
| author | jeschli <jeschli@gmail.com> | 2019-09-12 22:52:48 +0000 |
|---|---|---|
| committer | jeschli <jeschli@gmail.com> | 2019-09-12 22:52:48 +0000 |
| commit | e70b22ed477aca8ea74e43ad8692c77b409b67df (patch) | |
| tree | 3a951107688e5e9f22294b9dd0705fcdb53533da /jeschli/1systems | |
| parent | 039a576b24e7ad14874e9b25b8c696c239c2e7b6 (diff) | |
j bolide: python35 -> python37
Diffstat (limited to 'jeschli/1systems')
| -rw-r--r-- | jeschli/1systems/bolide/config.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/jeschli/1systems/bolide/config.nix b/jeschli/1systems/bolide/config.nix index 1041b06..d859833 100644 --- a/jeschli/1systems/bolide/config.nix +++ b/jeschli/1systems/bolide/config.nix @@ -86,8 +86,8 @@ in ccls unstable.clang_8 ghc - python35 - python35Packages.pip + python37 + python37Packages.pip # go tools golint gotools |