diff options
| author | Andrew Waterman | 2016-08-07 17:11:24 -0700 |
|---|---|---|
| committer | Andrew Waterman | 2016-08-09 13:05:13 -0700 |
| commit | 2a074c828ddd8e6c20fa21d618664d50120f3d7a (patch) | |
| tree | 0b5486b62293d90d4b17ff18dc36044fff3740be /bin/filter | |
| parent | c907eabfb65cd6442e35588b095ca031e2bdad7a (diff) | |
Support Module name overrides with "override def desiredName"
The API allowed this before, but not safely, as users could create
name conflicts. This exposes the pre-deduplication/sanitization
naming API, and closes the other one.
Diffstat (limited to 'bin/filter')
0 files changed, 0 insertions, 0 deletions