diff options
Diffstat (limited to 'doc/user/main.xml')
| -rw-r--r-- | doc/user/main.xml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/user/main.xml b/doc/user/main.xml index 181b2a8..4c2c1b8 100644 --- a/doc/user/main.xml +++ b/doc/user/main.xml @@ -104,7 +104,6 @@ XXX ParseDepends() XXX Platform() XXX SConsignFile() - XXX SideEffect() XXX Tools() XXX GetOption('duplicate') |