From a5ce25f812437711017ba32bb9f281249101ffee Mon Sep 17 00:00:00 2001
From: Sergio <tessaris@inf.unibz.it>
Date: Wed, 7 Oct 2020 16:28:01 +0200
Subject: [PATCH] Version bump

---
 wumpus/__init__.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/wumpus/__init__.py b/wumpus/__init__.py
index efb051c..d54a626 100644
--- a/wumpus/__init__.py
+++ b/wumpus/__init__.py
@@ -1,4 +1,4 @@
 from wumpus.wumpus import WumpusWorld, Hunter, Wumpus, Pit, Gold, Exit
 from wumpus.gridworld import Agent, Percept, InformedPlayer, UninformedPlayer, UserPlayer, RandomPlayer, Coordinate, coord
 
-__version__ = '0.3.0'
+__version__ = '0.3.1'
-- 
GitLab