From 80a0a717869eaa4f2bbbb89e6d70bd88ce1997a1 Mon Sep 17 00:00:00 2001
From: Dmytro Bogatov <dmytro@dbogatov.org>
Date: Tue, 7 Nov 2017 00:39:29 -0500
Subject: [PATCH] Fix.
---
.vscode/settings.json | 1 +
1 file changed, 1 insertion(+)
diff --git a/.vscode/settings.json b/.vscode/settings.json
index fc523a6..33e06df 100644
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@@ -25,6 +25,7 @@
"orams",
"parametrization",
"progressbar",
+ "providecommand",
"usetheme"
]
}
\ No newline at end of file
--
GitLab