/
drwxr-xr-x [up]
drwxr-xr-x build-windows
drwxr-xr-x hotfixes
drwxr-xr-x html
drwxr-xr-x server
-rw-r--r-- 2020-07-30 21:53 +0200 1531 .hgignore
-rw-r--r-- 2020-07-30 21:53 +0200 726 .hgtags
-rw-r--r-- 2020-07-30 21:53 +0200 27794 API reference details.md
-rw-r--r-- 2020-07-30 21:53 +0200 4424 API reference.md
-rw-r--r-- 2020-07-30 21:53 +0200 35147 COPYING
-rw-r--r-- 2020-07-30 21:53 +0200 25989 README.md