diff options
| author | Florian Jung <flo@windfisch.org> | 2016-01-05 16:54:42 +0100 |
|---|---|---|
| committer | Florian Jung <flo@windfisch.org> | 2016-01-05 16:54:42 +0100 |
| commit | ac659d9464fd75c60ac6979619182c28f14a48ab (patch) | |
| tree | 3ca97dbcae065de30bf79a36c9da37f0ce34be5e /doc/Makefile | |
| parent | 30f14477055fefac19b7ebdb5a809f3b410b1c36 (diff) | |
remove policy evaluation
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions