]>
| author | Bernd Bleßmann <bernd@kivitendo-premium.de> | |
| Wed, 10 Jul 2019 10:40:49 +0000 (12:40 +0200) | ||
| committer | Bernd Bleßmann <bernd@kivitendo-premium.de> | |
| Wed, 10 Jul 2019 10:40:49 +0000 (12:40 +0200) | ||
| commit | afdd12edf409d02d0088e01fc7a756d88043eb4e | |
| tree | eab63665ad7c539bf7eb53f8489cd82cc4d8843b | tree | snapshot | 
| parent | 253d756269c58fc019073c2d8da597f9f9b65e48 | commit | diff | 
| scripts/task_server.pl | diff | blob | history |