From 7aae831309b9ce8c8cf07d21673aa4e36d774edb Mon Sep 17 00:00:00 2001 From: Adam Stankiewicz Date: Sat, 8 Jun 2019 12:46:43 +0200 Subject: Add tptp syntax --- build | 1 + 1 file changed, 1 insertion(+) (limited to 'build') diff --git a/build b/build index 4b3ce389..679a6a14 100755 --- a/build +++ b/build @@ -274,6 +274,7 @@ PACKS=" tmux:keith/tmux.vim tomdoc:wellbredgrapefruit/tomdoc.vim toml:cespare/vim-toml + tptp:c-cube/vim-tptp twig:lumiliet/vim-twig typescript:leafgarland/typescript-vim vala:arrufat/vala.vim -- cgit v1.2.3