/Admin/components/
drwxr-xr-x [up]
-rw-r--r-- 2023-07-11 19:31 +0200 4197 PLATFORMS
-rw-r--r-- 2023-07-11 19:31 +0200 2602 README
-rw-r--r-- 2023-07-11 19:31 +0200 67 bundled
-rw-r--r-- 2023-07-11 19:31 +0200 71 bundled-linux
-rw-r--r-- 2023-07-11 19:31 +0200 71 bundled-linux_arm
-rw-r--r-- 2023-07-11 19:31 +0200 71 bundled-macos
-rw-r--r-- 2023-07-11 19:31 +0200 88 bundled-windows
-rw-r--r-- 2023-07-11 19:31 +0200 11 cakeml
-rw-r--r-- 2023-07-11 19:31 +0200 59 ci-extras
-rw-r--r-- 2023-07-11 19:31 +0200 35758 components.sha1
-rw-r--r-- 2023-07-11 19:31 +0200 466 index.php
-rw-r--r-- 2023-07-11 19:31 +0200 717 main
-rw-r--r-- 2023-07-11 19:31 +0200 59 nonfree
-rw-r--r-- 2023-07-11 19:31 +0200 75 optional
-rw-r--r-- 2023-07-11 19:31 +0200 62 windows