Subject SHA-1 Author Date
Set fileformat to unix 61f3f7853368dbc753f1ae020e696d3b59714f73 Vasilis Ververis 2017-03-16 09:52:39
Add redis configuration, set file format to unix 263501b46ec5cd4126afa11a0cd5a2ceaf4c2d7d Vasilis Ververis 2017-03-13 19:36:18
removed comments and unneded file 008e4a2b2b6cafc966904bec4b5f1de56aecbb2e mcehlert 2014-03-18 13:42:30
changed profiling output timestamp format e0969fdab8ecab90177fa11d7459dc46d45f5418 mcehlert 2014-02-24 15:55:31
added profiling option to start script 634b3664b6b694303fb9787781e074432967ead5 mcehlert 2014-02-24 15:45:06
added usage to readme 8125b1f4f8cb59d96c8444accab88d77bf6dd42a mcehlert 2014-01-09 16:02:47
a lot of refactoring for more modular structure 660e0d15e9b18aa9c1100c874e2140220f1c5860 mcehlert 2014-01-09 15:51:02
a lot of refactoring for more modular structure dcf7bd73ccc2f871ab8d48c43d11a8e5b392b6de mcehlert 2014-01-09 15:50:53
initial commit - pre colloquim state 655c77556f9d8e40b52893887cdb0d90f726fdbf Mathias Ehlert 2013-11-22 13:47:29
Initial commit f53ec7a3f25d55c53aa12c2682b216e16570cdc7 Mathias Ehlert 2013-11-22 13:37:47
Before first commit, do not forget to setup your git environment:
git config --global "your_name_here"
git config --global "your@email_here"

Clone this repository using HTTP(S):
git clone

Clone this repository using ssh (do not forget to upload a key first):
git clone ssh://

Clone this repository using git:
git clone git://

You are allowed to anonymously push to this repository.
This means that your pushed commits will automatically be transformed into a pull request:
... clone the repository ...
... make some changes and some commits ...
git push origin master