From 8614395cffc61c6383d4ca057102e7d1345c01a6 Mon Sep 17 00:00:00 2001 From: filip mertens Date: Fri, 12 Nov 2021 20:33:25 +0100 Subject: [PATCH] rm py file --- apps/remix-ide/ci/parse_workspace.py | 9 --------- 1 file changed, 9 deletions(-) delete mode 100755 apps/remix-ide/ci/parse_workspace.py diff --git a/apps/remix-ide/ci/parse_workspace.py b/apps/remix-ide/ci/parse_workspace.py deleted file mode 100755 index e54359cdfc..0000000000 --- a/apps/remix-ide/ci/parse_workspace.py +++ /dev/null @@ -1,9 +0,0 @@ - -import json - -with open('../../../workspace.json') as f: - data = json.load(f) - -for key in data['projects']: - if(data['projects'][key]['architect']['lint']): - print('%s:lint' % key) \ No newline at end of file