From 08c16eb17fd08364e6ea30b0b43a88ff08b77ca6 Mon Sep 17 00:00:00 2001
From: Lionel Sambuc <lionel.sambuc@epfl.ch>
Date: Mon, 23 Mar 2020 09:50:41 +0100
Subject: [PATCH] Fix Description of the repository

---
 src/lib.rs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/lib.rs b/src/lib.rs
index 9bc648c..54da685 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -3,8 +3,7 @@
 
 //! # Iron Sea - Index
 //!
-//! This repository contains the traits definitions for the Iron Sea
-//! database toolkit indices.
+//! Traits definitions for the Iron Sea database toolkit indices.
 //!
 //! ## Iron Sea: Database Toolkit
 //! **Iron Sea** provides a set of database engine bricks, which can be