Directory renames.

fde375d6 · Mateusz Pawlik · be9379a5 · fde375d6 · fde375d6 · fde375d6
Commit fde375d6 authored Oct 22, 2018 by Mateusz Pawlik
6 changed files
--- a/bolzano-address-trees/README.md
+++ b/bolzano-address-trees/README.md
--- a/bolzano-address-trees/download_prepare.sh
+++ b/bolzano-address-trees/download_prepare.sh
--- a/python_ast/README.md
+++ b/python_ast/README.md
--- a/python_ast/download_prepare.sh
+++ b/python_ast/download_prepare.sh
--- a/python_ast/parse_json.py
+++ b/python_ast/parse_json.py
--- a/python_ast/sort_dataset.sh
+++ b/python_ast/sort_dataset.sh