diff options
| author | Waleed Ammar <wammar@cs.cmu.edu> | 2012-07-02 16:51:21 -0400 |
|---|---|---|
| committer | Waleed Ammar <wammar@cs.cmu.edu> | 2012-07-02 16:51:21 -0400 |
| commit | 5584ad22d3d3fae7ea195fe6cd7cf56cd0f35ba0 (patch) | |
| tree | d8022f0f613d32551417a520f6c6e29c0c648963 /utils/phmt.cc | |
| parent | dc9e428224d95adf63da6460a2031348de295ca1 (diff) | |
(1) allow prefixes and separators used in feature instantiations to be configured. (2) minor refactoring.
Diffstat (limited to 'utils/phmt.cc')
0 files changed, 0 insertions, 0 deletions