diff options
author | Roman Smrž <roman.smrz@seznam.cz> | 2024-07-26 20:35:07 +0200 |
---|---|---|
committer | Roman Smrž <roman.smrz@seznam.cz> | 2024-07-26 20:39:57 +0200 |
commit | a9924fedf56d01bb45aa866b78912ca6f5e68bce (patch) | |
tree | f74786d447307df881352ca1b2300b5a3223b5bc /src/Identity.hs | |
parent | 72059751dd9246be903462dff91ab9a4fefef56b (diff) |
Command-line options to select storage
Changelog: Added --storage/--memory-storage command-line options
Diffstat (limited to 'src/Identity.hs')
0 files changed, 0 insertions, 0 deletions