mirror/dolt
1
0
Fork 0
mirror of https://github.com/dolthub/dolt.git synced 2026-05-02 19:39:56 -05:00
Code Issues Packages Projects Releases 159 Wiki Activity

remove __DOLT_1__ in favor of __DOLT__

Browse Source
This commit is contained in:
Andy Arthur
2022-08-09 14:44:26 -07:00
parent 0be856867e
commit 967cf6ae79
39 changed files with 79 additions and 83 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.github/scripts/performance-benchmarking/run-benchmarks.sh
+1 -1
View File
@@ -32,7 +32,7 @@ if [ -z "$MODE" ]; then
exit 1
fi
if [ "$NOMS_BIN_FORMAT" = "__DOLT_1__" ]; then
if [ "$NOMS_BIN_FORMAT" = "__DOLT__" ]; then
INIT_BIG_REPO="false"
fi