From 69563f0bf2edcda46be9e30600149d225468551c Mon Sep 17 00:00:00 2001
From: Sergio Tessaris <tessaris@inf.unibz.it>
Date: Thu, 24 Mar 2022 12:21:53 +0100
Subject: [PATCH] Version 1.0.1

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

diff --git a/wumpus/__init__.py b/wumpus/__init__.py
index f95c100..5fc2e19 100644
--- a/wumpus/__init__.py
+++ b/wumpus/__init__.py
@@ -3,4 +3,4 @@ from .player import OfflinePlayer, OnlinePlayer, UserPlayer, RandomPlayer
 from .wumpus import WumpusWorld, Hunter, Wumpus, Pit, Gold, Exit
 from .runner import run_episode
 
-__version__ = '1.0.0'
+__version__ = '1.0.1'
-- 
GitLab