This repository has been archived on 2024-08-19. You can view files and clone it. You cannot open issues or pull requests or push a commit.

Klaus Weidenbach daed7fbead Bugfix und variable initialization. ...

Fixed a wrong perm_is_allowed() parameter, commented some other places
where we use variables that are not set and should not work.

2015-03-21 22:28:07 +01:00

37 KiB

Raw Blame History

View Raw