diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2017-01-19 12:45:04 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2017-01-19 12:45:04 +0200 |
commit | 5607313a91e5ca0113b1f8b9acfd02c1fb105346 (patch) | |
tree | b14fd2737b88f90e9d142d8e6eff36876e0f8b5a /config | |
parent | 8ecc2d18bf86b1021a31a2e5d01e71afbaa1efd0 (diff) |
Get rid of project_name_pool
With small string optimizations this is most likely a hindrance rather
that an optimization.
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions