webmcp

diff Makefile.options @ 530:6dec66f8d48e

Fix in format.timestamp(...): deal with options set to nil
author jbe
date Fri Dec 01 00:16:36 2017 +0100 (2017-12-01)
parents dd6ef55cd59d
children d0104bb90ede
line diff

Impressum / About Us