diff options
author | Richard Maw <richard.maw@gmail.com> | 2017-01-08 14:20:14 +0000 |
---|---|---|
committer | Richard Maw <richard.maw@gmail.com> | 2017-01-08 14:20:14 +0000 |
commit | 93d2b69996f8dab1180cd866f9cd145dd8d13fcb (patch) | |
tree | 43140a3483474bc11beb8601cd0631fda893cd03 | |
parent | 945647abcd428ae2cb355da0dbaee492b5c3fac1 (diff) | |
download | gitano-93d2b69996f8dab1180cd866f9cd145dd8d13fcb.tar.gz |
admin-doc: Add config/ as a predicate
-rw-r--r-- | doc/admin/000.mdwn | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/admin/000.mdwn b/doc/admin/000.mdwn index e6643ed..cb15f91 100644 --- a/doc/admin/000.mdwn +++ b/doc/admin/000.mdwn @@ -266,6 +266,7 @@ Table: Gitano predicates `treediff/renamedto` any of the file names of destinations of a rename `treediff/kind/$FILE` The type of object of a file named $FILE in the new version of the tree. `treediff/oldkind/$FILE` The type of object of a file named $FILE in the old version of the tree. +`config/*` Value of the config option with "/" converted to ".". `as_user` username of user invoking `as otheruser` `as_group` any of the groups of user invoking `as otheruser` `targetuser` username in a user manipulation command |