From 7a5fb358b0af169b5a7af5794eb1654906ae559f Mon Sep 17 00:00:00 2001 From: Alexandru Nedel Date: Wed, 7 Feb 2024 14:47:55 +0200 Subject: [PATCH] Fix name of 'org.alloytools.alloy.lsp' project (in 'projectDescription/name' child element of '.project' file). Signed-off-by: Alexandru Nedel --- org.alloytools.alloy.lsp/.project | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/org.alloytools.alloy.lsp/.project b/org.alloytools.alloy.lsp/.project index 2f98f1715..9f48aa7df 100644 --- a/org.alloytools.alloy.lsp/.project +++ b/org.alloytools.alloy.lsp/.project @@ -1,6 +1,6 @@ - org.alloytools.alloy.application + org.alloytools.alloy.lsp