tree ae1af245433bcb46898be12c580d3bc1ecc4c592
parent e8ead6b6b67195d565ea8b2a60016239886b1166
author Nils Diewald <nils@diewald-online.de> 1415486005 +0000
committer Nils Diewald <nils@diewald-online.de> 1415486005 +0000

Added cutoff functionality for tutorial queries