tree bf76109967d95627c0e3fb80835e9e1ccf55c8d7
parent 94710d2afeeeb3eec7ba86c1061cb17e1966c45b
parent c98a0ddcb5a65df66fc265409d26f2dccd3b9ce3
author Ryszard Rozak <ryszard.rozak@gmail.com> 1645540231 +0100
committer GitHub <noreply@github.com> 1645540231 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJiFPOHCRBK7hj4Ov3rIwAADPkIAA+69uQcE3RHuAyEHGD0v5yf
 rsxl8tPEbwBLG9rp4nZaGFFPZ+sU14xydi/y5MzPWeCNGIttVmOJduR/lAxHjwVC
 IdtuEdOQKTjwbkxryL5tRjLWw4ZOnFcB0KhJwSKIKN8hmbH2fteY+lG+LVvXsj4H
 +4cmvX4Od/0MZ0j5SXsk0QQj/E6KRKLPr3v7f9gpxib6NSvcWWaShysWHeztFvMk
 gEoFcpTbEoTkk2xhteeCJV4hcIsGzhIvcM6E4b3lgJ1wH4eU9Z9+v9naJTZ61LFl
 fpMoYO8hTLYtAkjLsgyHMKvjM+bs5SgQniNDUDkLEI6y7/jVL9F0FR9qu7fWFhU=
 =ksST
 -----END PGP SIGNATURE-----
 

Merge pull request #236 from antmicro/dump_options

Add handling of dump options