diff options
author | 2012-07-26 10:04:58 -0400 | |
---|---|---|
committer | 2012-07-26 10:04:58 -0400 | |
commit | f5331f50f3628c067cd9f8e1320d5df49d92f3cf (patch) | |
tree | 1ae89db4b35c9dc3c8b5a44d0d71094cc7d4a638 /doc/manual.tex | |
parent | b2f6e6a5501937c58cbd8eb9b5d90ceae0321386 (diff) |
Remove misguided type class optimization
Diffstat (limited to 'doc/manual.tex')
0 files changed, 0 insertions, 0 deletions