3960: Remove unused has_permission? method.
-rw-r--r-- 288 .gitignore
-rw-r--r-- 625 COPYING
-rw-r--r-- 11358 LICENSE-2.0.txt
-rw-r--r-- 622 README
-rw-r--r-- 34520 agpl-3.0.txt
drwxr-xr-x - apps
-rw-r--r-- 17802 by-sa-3.0.txt
drwxr-xr-x - crunch_scripts
drwxr-xr-x - doc
drwxr-xr-x - docker
drwxr-xr-x - sdk
drwxr-xr-x - services