diff options
| author | Clément Pit-Claudel | 2019-02-19 12:52:04 -0500 |
|---|---|---|
| committer | Clément Pit-Claudel | 2019-02-19 12:52:04 -0500 |
| commit | c39482e63aacf47359d8f76c44c2d851c7cfb9a5 (patch) | |
| tree | b57047087583c8d991aed295bfee679bf54fd85a /lib | |
| parent | c3cc72ccf586703ed009a8bdd5df8d40b0384ab2 (diff) | |
| parent | 499491f8efd3a02dacb64c779edc246510b1d35f (diff) | |
Merge PR #9501: Sphinx: fail when a command fails + other stuff
Ack-by: SkySkimmer
Ack-by: gares
Reviewed-by: Zimmi48
Reviewed-by: cpitclaudel
Reviewed-by: ejgallego
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions