commit | c945aa9a3c0d276b7cc92414c4192208b01b56ca | [log] [tgz] |
---|---|---|
author | Michael Jastram <michael@jastram.de> | Fri Jan 02 10:09:40 2015 +0100 |
committer | Michael Jastram <michael@jastram.de> | Fri Jan 02 10:09:40 2015 +0100 |
tree | d0a01a79d235b581140a4ec8e98c7429d54bde77 | |
parent | 7d283833d40aeeac648f03e903b01fb64c04f08c [diff] |
Result Navigator working now.