summaryrefslogtreecommitdiff
path: root/benchmark
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2015-06-28 11:58:50 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2015-06-28 11:58:50 -0700
commit3e5b4faaf2a99950991ff7b16c0e0b06234b9792 (patch)
treee3cae05da095377513ae427bf8ac80cacbfe4e4a /benchmark
parented9a118b544a2aeddda120ca1cc0bc45e1da6935 (diff)
Version bump to 1.14.1.
Because of the addition of `Options.plainExtensions`.
Diffstat (limited to 'benchmark')
0 files changed, 0 insertions, 0 deletions