diff options
| author | Luca Falavigna <dktrkranz@debian.org> | 2010-06-15 14:28:22 +0000 |
|---|---|---|
| committer | Luca Falavigna <dktrkranz@debian.org> | 2010-06-15 14:28:22 +0000 |
| commit | 738149c9bfb9965d013d01ef99f9bb1c2819e7e8 (patch) | |
| tree | 0397d9bf3b12c903dc73419585df231397ff343c /doc/user/main.xml | |
| parent | e7885e3af440eaef38a9301fd92a105afc8ddebb (diff) | |
Imported Upstream version 2.0.0upstream/2.0.0
Diffstat (limited to 'doc/user/main.xml')
| -rw-r--r-- | doc/user/main.xml | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/doc/user/main.xml b/doc/user/main.xml index be4fd21..00b8268 100644 --- a/doc/user/main.xml +++ b/doc/user/main.xml @@ -96,14 +96,7 @@ <!-- - XXX FindFile() - XXX FindPathDirs() - XXX GetBuildPath() - XXX GetLaunchDir() - - XXX ParseDepends() XXX Platform() - XXX SConsignFile() XXX Tools() XXX GetOption('duplicate') |