diff options
author | jakub <> | 2008-02-18 19:54:01 +0000 |
---|---|---|
committer | jakub <> | 2008-02-18 19:54:01 +0000 |
commit | 7ee95fe7a72b44835c55e3f5ab78815d2fd93aad (patch) | |
tree | 6a231d2b3a4ae8bce290d821d5b336b45fe0fed7 /configure | |
parent | 1b0c7d7b439e7ceedbaecb1e904c1f0c13aafa7a (diff) |
* doc/cp-tools.texinfo (@direntry): Prefix info name with cp-.var-tracking-assignments-merge-132391-trunk-4_3-branchpoint
* doc/cp-hacking.texinfo (@direntry): Likewise.
* doc/cp-vmintegration.texinfo (@direntry): Likewise.
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions