Project

General

Profile

Download (3.66 KB) Statistics
| Branch: | Tag: | Revision:

lustrec/src/tools/seal/seal_export.ml @ d75eb6f1

# Date Author Comment
d75eb6f1 07/11/2019 07:43 AM Pierre-Loïc Garoche

seal-export: produce the output as well. Could be simpler