History log of /barrelfish-master/usr/eclipseclp/BUILD_ROTD
Revision Date Author Comments
# 5ebdc79f 10-Feb-2016 Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

Merge commit 'a036c989e56a595268f21b830de60af7fc0f433a' as 'usr/eclipseclp'