From 1fadf7f2b6894ec30a66f57d5f803856928e5cc6 Mon Sep 17 00:00:00 2001 From: Malte Langkabel Date: Thu, 28 Nov 2019 20:15:26 +0100 Subject: [PATCH] build: update to SourcetrailPythonIndexer v1_db25_p1 (#813) This allows to use "unsafe" Python environment if this environment has explicitly been specified by the user (issues #697, #747). --- script/download_python_indexer.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/script/download_python_indexer.sh b/script/download_python_indexer.sh index d583aa5b..0baeb763 100755 --- a/script/download_python_indexer.sh +++ b/script/download_python_indexer.sh @@ -1,6 +1,6 @@ #!/bin/bash -SOURCETRAIL_PYTHON_INDEXER_VERSION="v1_db25_p0" +SOURCETRAIL_PYTHON_INDEXER_VERSION="v1_db25_p1" # Determine current platform PLATFORM='unknown'