Debug infos with var()=%d are for length and can be decimal.
[core.git] / inc / classes / main / console /
drwxr-xr-x   ..
-rw-r--r-- 14 .htaccess
-rw-r--r-- 13019 class_ConsoleTools.php