diff src/sat.sh @ 2295:31f586d6ab16

jp (constants): added OUTPUT_DICT_DICT for dictionaries of nested dictionaries
author Goffi <goffi@goffi.org>
date Sun, 02 Jul 2017 19:51:00 +0200
parents 7a07f232e7cb
children a34b4fca16e2
line wrap: on
line diff