/Admin/components/ draft default tip
drwxr-xr-x [up]
-rw-r--r-- 2021-09-10 20:35 +0200 3940 PLATFORMS
-rw-r--r-- 2021-09-10 20:35 +0200 2881 README
-rw-r--r-- 2021-09-10 20:35 +0200 50 bundled
-rw-r--r-- 2021-09-10 20:35 +0200 71 bundled-linux
-rw-r--r-- 2021-09-10 20:35 +0200 71 bundled-linux_arm
-rw-r--r-- 2021-09-10 20:35 +0200 71 bundled-macos
-rw-r--r-- 2021-09-10 20:35 +0200 86 bundled-windows
-rw-r--r-- 2021-09-10 20:35 +0200 11 cakeml
-rw-r--r-- 2021-09-10 20:35 +0200 59 ci-extras
-rw-r--r-- 2021-09-10 20:35 +0200 28645 components.sha1
-rw-r--r-- 2021-09-10 20:35 +0200 466 index.php
-rw-r--r-- 2021-09-10 20:35 +0200 523 main
-rw-r--r-- 2021-09-10 20:35 +0200 59 nonfree
-rw-r--r-- 2021-09-10 20:35 +0200 75 optional
-rw-r--r-- 2021-09-10 20:35 +0200 69 windows