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 /rst_parser/rst.h | |
parent | dc9e428224d95adf63da6460a2031348de295ca1 (diff) |
(1) allow prefixes and separators used in feature instantiations to be configured. (2) minor refactoring.
Diffstat (limited to 'rst_parser/rst.h')
0 files changed, 0 insertions, 0 deletions