From e8db45084be90054ff6475ee94226ac419a0e4a6 Mon Sep 17 00:00:00 2001
From: Andreas Naumann <andreas.naumann@tu-dresden.de>
Date: Sat, 14 Nov 2009 23:40:18 +0000
Subject: [PATCH] TreeNode-sorter added. Eval::decide uses the sorter now

-- 
GitLab