From 014253675668a2f7fea0f23d966842ddab8a9b39 Mon Sep 17 00:00:00 2001
From: Patrick DURAND <patrick@plealog.com>
Date: Wed, 13 Dec 2017 17:26:11 +0100
Subject: [PATCH] set v1.0.0

---
 make-tool-directory.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/make-tool-directory.py b/make-tool-directory.py
index 8cb0483..7313cd5 100755
--- a/make-tool-directory.py
+++ b/make-tool-directory.py
@@ -1,7 +1,7 @@
 #!/usr/bin/env python
 
 # =============================================================================
-# Tool Directory
+# Tool Directory - v1.0.0
 #
 # A program to prepare an HTML table listing softwares available on
 # a file system.