diff options
| author | Eduardo Julian | 2016-12-02 21:40:07 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2016-12-02 21:40:07 -0400 |
| commit | 9f237c5c5a12dc4aa3b4fbd486586050bf84b2b8 (patch) | |
| tree | 60517d31082d82cded6d3f0d50e8406695cefa6d /stdlib/source | |
| parent | 60d3952d9550cc4d6fd0f5fc8312104b21024799 (diff) | |
- Fixed a bug that was causing compilation & testing to be done more than necessary.
- Changed the "watch" meta-command to "auto".
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions