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 /doc/doc.css | |
| 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 'doc/doc.css')
0 files changed, 0 insertions, 0 deletions