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

Add shutdowns #191

Merged
merged 2 commits into from
Jul 6, 2017
Merged

Add shutdowns #191

merged 2 commits into from
Jul 6, 2017

Commits on Jul 5, 2017

  1. Added shutdowns to properly finish world/agents

    @filipeabperes
    filipeabperes committed Jul 5, 2017
    Configuration menu
    Copy the full SHA
    022c06d View commit details
    Browse the repository at this point in the history

  2. Fixed comments

    @filipeabperes
    filipeabperes committed Jul 5, 2017
    Configuration menu
    Copy the full SHA
    9f30bfe View commit details
    Browse the repository at this point in the history