hax-frontend-exporter-options 0.1.0-alpha.1

The options the `hax-frontend-exporter` crate is sensible to.
Documentation 
1
2
3
4
5
6

{
  "git": {
    "sha1": "3507a0bc6c3a7608ef66b12beb2192d67b52f4c6"
  },
  "path_in_vcs": "frontend/exporter/options"
}