data: removed unused edge and node types

2019-11-05 23:28:27 +01:00
parent dca9e2627c
commit 73f3be72e1
8 changed files with 33 additions and 37 deletions
@@ -1,6 +1,6 @@
 #!/bin/bash

-SOURCETRAIL_PYTHON_INDEXER_VERSION="v1_db24_p2"
+SOURCETRAIL_PYTHON_INDEXER_VERSION="v1_db25_p0"

 # Determine current platform
 PLATFORM='unknown'