Allow the user to choose a session through GUI by giving the "-ps" parameter.
authorDavid Nolden <nolden@i6.informatik.rwth-aachen.de>
Mon, 30 Aug 2010 16:11:53 +0000 (18:11 +0200)
committerDavid Nolden <nolden@i6.informatik.rwth-aachen.de>
Mon, 30 Aug 2010 16:11:53 +0000 (18:11 +0200)
commit09f2ba483635072b5132368b6d8345a807684e24
tree851bbec80d47525b866a86c771b8f9a7b1a34991
parentd84672585e1bdea2afc2f6725e083a96184733de
Allow the user to choose a session through GUI by giving the "-ps" parameter.
app/main.cpp