From 721bb77ee4a67ffc58a04c479995e6a3e821a847 Mon Sep 17 00:00:00 2001
From: Pierre-Marie de Rodat <derodat@adacore.com>
Date: Wed, 17 Apr 2019 12:18:28 +0200
Subject: [PATCH] Remove the unused "lib" top-level directory

---
 lib/.emptydir | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 lib/.emptydir

diff --git a/lib/.emptydir b/lib/.emptydir
deleted file mode 100644
index e69de29b..00000000