diff tok.h @ 20:efef93e54c5f

Automatically save the database when receiving a fatal signal
author Guido Berhoerster <guido+pwm@berhoerster.name>
date Wed, 06 Sep 2017 13:56:11 +0200
parents a7e41e1a79c8
children 722a45b4028b
line wrap: on
line diff