HomePhabricator

Zsh: Define additional default CMake properties

Description

Zsh: Define additional default CMake properties

Details

Provenance
pmoreauAuthored on Mon, Sep 12, 10:56 PM
pmoreauPushed on Mon, Sep 12, 10:59 PM
Parents
rDOTaf90c5fc9d3c: Zsh: Improve job showing + error code
Branches
Unknown
Tags
Unknown
References
HEAD -> master