diff options
| author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-02-19 15:45:36 +0100 |
|---|---|---|
| committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-02-19 15:45:36 +0100 |
| commit | 7aa65416ea09470ae24353c36a51f07c5fc1e8a6 (patch) | |
| tree | 4870ac5d26c0e49e04e0f915f27e5c8b5446dc61 /docs | |
| parent | d28125447f734560b3738a2642a29157e8830169 (diff) | |
| download | dotty-7aa65416ea09470ae24353c36a51f07c5fc1e8a6.tar.gz dotty-7aa65416ea09470ae24353c36a51f07c5fc1e8a6.tar.bz2 dotty-7aa65416ea09470ae24353c36a51f07c5fc1e8a6.zip | |
Allow disabling squarshing
Do not die if phases aren't squashed
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions