From 2c1ecd97ed5ed63bfeb07545e6d3c5882c38c7d6 Mon Sep 17 00:00:00 2001 From: Xavier Clerc Date: Thu, 14 Mar 2019 09:55:45 +0000 Subject: [PATCH] v0.13-preview.120.27+112 --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index 85f39e57b..6c14091bb 100644 --- a/.gitignore +++ b/.gitignore @@ -1,4 +1,5 @@ _build *.install *.merlin +_opam