diff --git a/extensions.json b/extensions.json index 500dca992..49c98d48c 100644 --- a/extensions.json +++ b/extensions.json @@ -585,6 +585,9 @@ "laradump.laradump": { "repository": "https://github.com/TheJenos/laradump-vscode" }, + "les-profs-d-info.algorithme-tn": { + "repository": "https://github.com/romoez/algo-tn-vscode" + }, "lextudio.restructuredtext": { "repository": "https://github.com/vscode-restructuredtext/vscode-restructuredtext" },