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 |