applications
|
Merge pull request #2979 from bluescreen303/idris
|
2014-06-18 10:00:00 +02:00 |
desktops
|
e17.terminology: 0.4.0 -> 0.5.1
|
2014-06-15 09:26:01 +04:00 |
development
|
Merge pull request #2979 from bluescreen303/idris
|
2014-06-18 10:00:00 +02:00 |
games
|
Warzone2100: Update to 3.1.1.
|
2014-06-15 23:38:01 +02:00 |
misc
|
Merge recent master
|
2014-06-15 17:55:35 +02:00 |
servers
|
Merge pull request #2976 from bluescreen303/nginx
|
2014-06-17 14:23:15 +02:00 |
tools
|
duo-unix: upgrade, fix full name + version
|
2014-06-17 17:06:31 -05:00 |
top-level
|
jd-gui: version 0.3.5
|
2014-06-17 14:44:49 -05:00 |