webmcp

diff Makefile @ 487:91d0c8304d74

Do not execute abortable command if termination has already been requested
author jbe
date Mon Jun 12 03:18:54 2017 +0200 (2017-06-12)
parents 0a6378afc6da
children b36e366bba2b
line diff

Impressum / About Us