Rename datalog-101.md to indicate legacy content.

plast-lab · Jul 24, 2020 · ccc7fb7 · ccc7fb7
1 parent 8c58a02
commit ccc7fb7
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/docs/datalog-101.md → docs/datalog-101-legacy.md b/docs/datalog-101.md → docs/datalog-101-legacy.md