tree fa2603c316a855348132503a4a28321432d632a2
parent 1ae77fe4d3612c79dd2e78a83ae493c9860a430d
author Wenzel Jakob <wenzel@inf.ethz.ch> 1453066603 +0100
committer Wenzel Jakob <wenzel@inf.ethz.ch> 1453066275 +0100

added an example on using fancier kinds of default arguments