From 81301b55df9c52fe5503421eb9527bb04a1643e0 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Tue, 30 Apr 2019 11:42:23 +0200
Subject: Create categories in changelog.

---
 .gitattributes | 1 +
 1 file changed, 1 insertion(+)

(limited to '.gitattributes')

diff --git a/.gitattributes b/.gitattributes
index 58b1a31d36..260e3f96b6 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -54,6 +54,7 @@ dune* whitespace=blank-at-eol,tab-in-indent
 .gitattributes whitespace=blank-at-eol,tab-in-indent
 _CoqProject whitespace=blank-at-eol,tab-in-indent
 Dockerfile whitespace=blank-at-eol,tab-in-indent
+00000-title.rst -whitespace
 
 # tabs are allowed in Makefiles.
 Makefile* whitespace=blank-at-eol
-- 
cgit v1.2.3