Commit Graph

4 Commits (3eff4f1ace5405a4b2ad4de856e5ba17809a9e68)

Author SHA1 Message Date
ulferts 8ae523353e
update preferences api specification 3 years ago
Markus Kahl 9a7b3c5723 amended executable flag 3 years ago
Markus Kahl 20171e3839 put spec validation in script; polish 3 years ago
Markus Kahl d39609a41d put spec assembly into independent script 3 years ago