commit 30f4d29c56fd29de55a9f076ffcf4c7e7545e4c0 parent 4b247149b2cab12e334c2c108114344fb80b94af Author: Georges Dupéron <georges.duperon@gmail.com> Date: Wed, 23 Aug 2017 06:40:44 +0200 Avoid running the outdated adt-*.scrbl files with raco test. Diffstat:
8 files changed, 0 insertions(+), 0 deletions(-)
diff --git a/scribblings/adt-Ectx.scrbl b/scribblings/adt-Ectx.scrbl.old diff --git a/scribblings/adt-e.scrbl b/scribblings/adt-e.scrbl.old diff --git a/scribblings/adt-opsem.scrbl b/scribblings/adt-opsem.scrbl.old diff --git a/scribblings/adt-pe.scrbl b/scribblings/adt-pe.scrbl.old diff --git a/scribblings/adt-sub.scrbl b/scribblings/adt-sub.scrbl.old diff --git a/scribblings/adt-tausigma.scrbl b/scribblings/adt-tausigma.scrbl.old diff --git a/scribblings/adt-trules.scrbl b/scribblings/adt-trules.scrbl.old diff --git a/scribblings/adt-v.scrbl b/scribblings/adt-v.scrbl.old