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 | 1a17ef339a3293cf6cd52a020f3e83d0be477b69 (patch) | |
tree | 258102f7448fdb3185d1270607b739bfc5151896 /jeschli | |
parent | 88718ec88995b1161d2c7aa406b1049a100a4357 (diff) |
j bolide: python35 -> python37
Diffstat (limited to 'jeschli')
-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 1041b0677..d859833ac 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 |