summaryrefslogtreecommitdiff
path: root/gi/pyp-topics/scripts/extract_leaves.py
diff options
context:
space:
mode:
authorWaleed Ammar <wammar@cs.cmu.edu>2012-07-02 16:51:21 -0400
committerWaleed Ammar <wammar@cs.cmu.edu>2012-07-02 16:51:21 -0400
commit5584ad22d3d3fae7ea195fe6cd7cf56cd0f35ba0 (patch)
treed8022f0f613d32551417a520f6c6e29c0c648963 /gi/pyp-topics/scripts/extract_leaves.py
parentdc9e428224d95adf63da6460a2031348de295ca1 (diff)
(1) allow prefixes and separators used in feature instantiations to be configured. (2) minor refactoring.
Diffstat (limited to 'gi/pyp-topics/scripts/extract_leaves.py')
0 files changed, 0 insertions, 0 deletions