Admin/components/main
changeset 76508 ecb9e6d29698
parent 76478 d84568379f3f
child 76535 f3ebb16b5785
--- a/Admin/components/main	Fri Nov 11 21:35:33 2022 +0100
+++ b/Admin/components/main	Fri Nov 11 23:04:55 2022 +0100
@@ -27,6 +27,7 @@
 pdfjs-2.14.305
 polyml-test-bafe319bc3a6-1
 postgresql-42.5.0
+prismjs-1.29.0
 scala-3.2.0-2
 smbc-0.4.1
 spass-3.8ds-2