From a28ded641cf4e015f6755e25e8197f29465a26b4 Mon Sep 17 00:00:00 2001
From: Jeremy Avigad <avigad@cmu.edu>
Date: Thu, 31 Dec 2015 10:48:39 -0800
Subject: [PATCH] refactor(library/algebra/interval): rename intervals to
 interval

---
 library/algebra/{intervals.lean => interval.lean} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename library/algebra/{intervals.lean => interval.lean} (100%)

diff --git a/library/algebra/intervals.lean b/library/algebra/interval.lean
similarity index 100%
rename from library/algebra/intervals.lean
rename to library/algebra/interval.lean