move synctex into a directory for simple mounting

2018-03-16 16:50:30 +00:00
parent 63145cc60c
commit 6fbfcfc68b
2 changed files with 0 additions and 1 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -13,5 +13,4 @@ cache
 .vagrant
 db.sqlite
 config/*
-bin/synctex
 npm-debug.log
--- a/bin/synctex/synctex
+++ b/bin/synctex/synctex