summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-04-08 16:29:28 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2012-04-08 16:29:28 -0400
commit340febaf99f96c3c386392fa9957029b2f191b46 (patch)
treef33a008b46bba782f5b27ac9c2777a145ef1e759 /lib
parentb4fdf677c13d1d718640c22b94989d8bb516bd6f (diff)
Optimize code from last changeset a bit
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions