~damien/jedit-lsp

40a1308e11b71e491a5dd6d06b3baa0570f8372c — Damien Radtke 3 months ago 102b4e4
Don't commit build.properties
2 files changed, 1 insertions(+), 5 deletions(-)

M .gitignore
D build.properties
M .gitignore => .gitignore +1 -0
@@ 1,3 1,4 @@
build
build-support
build.properties
*~

D build.properties => build.properties +0 -5
@@ 1,5 0,0 @@
build.support=./build-support
jedit.install.dir=/usr/share/jedit
jedit.settings.dir=${user.home}/.jedit
install.dir=${jedit.settings.dir}/jars
compiler.target=17