From 9171390374742533179d4f83fed48ee621802ba9 Mon Sep 17 00:00:00 2001 From: Jonathan Reinink Date: Mon, 30 Oct 2017 11:49:16 -0400 Subject: [PATCH] Rename "border size" page to "border width" in docs --- docs/source/_layouts/master.blade.php | 4 ++-- docs/source/{border-size.blade.md => border-width.blade.md} | 0 2 files changed, 2 insertions(+), 2 deletions(-) rename docs/source/{border-size.blade.md => border-width.blade.md} (100%) diff --git a/docs/source/_layouts/master.blade.php b/docs/source/_layouts/master.blade.php index be7ea267b..05f81e58d 100644 --- a/docs/source/_layouts/master.blade.php +++ b/docs/source/_layouts/master.blade.php @@ -92,9 +92,9 @@
  • - Borders + Borders