Skip to content
This repository has been archived by the owner on Nov 17, 2023. It is now read-only.

[ENGINE] More robust termination [Context] Shorter name #131

Merged
merged 2 commits into from
Sep 22, 2015
Merged

[ENGINE] More robust termination [Context] Shorter name #131

merged 2 commits into from
Sep 22, 2015

Commits on Sep 22, 2015

  1. [ENGINE] More robust termination

    @tqchen
    tqchen committed Sep 22, 2015
    Configuration menu
    Copy the full SHA
    bae4324 View commit details
    Browse the repository at this point in the history

  2. Update documents

    @tqchen
    tqchen committed Sep 22, 2015
    Configuration menu
    Copy the full SHA
    f9d5272 View commit details
    Browse the repository at this point in the history