Skip to content

Remove dirname hack from nix_path concatenation#34

Merged
mboes merged 1 commit intotweag:masterfrom Profpatsch:remove-dirname-hackOct 23, 2018

Commits

Commits on Oct 23, 2018