From be6f553b7ddc2ca307ec8ef3395edf6010f13119 Mon Sep 17 00:00:00 2001
From: Silvan Mosberger <silvan.mosberger@tweag.io>
Date: Fri, 14 Jun 2024 20:32:22 +0200
Subject: [PATCH] doc: Remove unneeded functions/library dir

All its files were removed years ago!
---
 doc/functions/library/.gitkeep | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 doc/functions/library/.gitkeep

diff --git a/doc/functions/library/.gitkeep b/doc/functions/library/.gitkeep
deleted file mode 100644
index e69de29bb2d1..000000000000