summaryrefslogtreecommitdiff
path: root/m4
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2016-03-12 14:11:27 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2016-03-12 14:11:27 -0500
commit6b85dbb54d5d9928a53f0f916cf0cb33c04ff87c (patch)
tree0215bd5985818f74a20c8bc37867e7ee234b0570 /m4
parentd2823e60805a6cc394b149563ff500ea969b8627 (diff)
Sqlcache: also record script additions; do a MonoReduce afterward, to help Prepare do a better job
Diffstat (limited to 'm4')
0 files changed, 0 insertions, 0 deletions