From 1da5647cc271fc5646e20a7f004e709564a562ec Mon Sep 17 00:00:00 2001 From: John McCann Cunniff Jr Date: Tue, 26 Sep 2023 20:25:53 -0400 Subject: [PATCH] ADD theia-osiris theia-pincer to build and push ides --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index efa6923..88a1544 100644 --- a/Makefile +++ b/Makefile @@ -10,7 +10,7 @@ THEIA_IDES := \ theia-cpp theia-procdesign theia-admin theia-golang \ theia-flask-39 theia-flask-310 \ theia-mysql-39 theia-mysql-310 \ - theia-devops theia-jepst + theia-devops theia-jepst theia-osiris theia-pincer WEBTOP_BASE_IDES := \ webtop-base-310 webtop-base-39 webtop-base-38