tree ef128c518d0499b9e5cf23b3e0bcf2b8e25e6f4a
parent 97c194c90420eec7127cc61581a0da9a616cf42d
author Joachim Bingel <joa.bingel@gmail.com> 1422974936 +0000
committer Joachim Bingel <joa.bingel@gmail.com> 1422974936 +0000

removed deprecated shrink() and submatch() for operation:focus. NB: submatch() still in use for span-foci