From 9274758d5decf8b55898ba3c7c98092435ccc51d 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'