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 | 112a459dcc56072a65cacc9a233861b658ccd388 (patch) | |
| tree | 5bd46d84768ca73a6ff0e543492171891f8b2db3 /BUILDING | |
| parent | 9619c91e3eea2e5eb13d42e02d39730189ebc577 (diff) | |
(1) allow prefixes and separators used in feature instantiations to be configured. (2) minor refactoring.
Diffstat (limited to 'BUILDING')
0 files changed, 0 insertions, 0 deletions