Use default Markdown syntax, closes #157

This commit is contained in:
sharkdp committed 2018-05-30 20:40:02 +02:00
1 parent 26d409db65
commit 9d92350cbb
4 files changed
+20 -28

No files matched your search

-6
View File
@@ -2,10 +2,4 @@
ASSET_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
DEFAULT_MARKDOWN_SYNTAX="$ASSET_DIR/syntaxes/Packages/Markdown"
rm -rf "$DEFAULT_MARKDOWN_SYNTAX"
bat cache --init --source="$ASSET_DIR" --target="$ASSET_DIR"
git -C "$ASSET_DIR/syntaxes/Packages" checkout "$DEFAULT_MARKDOWN_SYNTAX"