aboutsummaryrefslogtreecommitdiff
path: root/dev
diff options
context:
space:
mode:
authorPierre-Marie Pédrot2020-04-28 15:45:04 +0200
committerPierre-Marie Pédrot2020-04-29 09:41:04 +0200
commit23952efb51664ef30fee44bff31dcbf38c5bff63 (patch)
tree2cd76a7983ad121e32a786155af54ecd7c145364 /dev
parent6a6272ad2b452624e75418245fbbf30d3dc5597f (diff)
Merge the call to tclEFFECTS into find_scheme.
This encapsulates better the invariants of this function.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions