From a72741ed629d1d213b86c90299c2a51d1bb8bc0c Mon Sep 17 00:00:00 2001 From: Mark Otto Date: Mon, 19 Jan 2015 15:25:53 -0800 Subject: nuke files --- docs/_includes/getting-started/tools.html | 6 ------ 1 file changed, 6 deletions(-) delete mode 100644 docs/_includes/getting-started/tools.html (limited to 'docs/_includes/getting-started/tools.html') diff --git a/docs/_includes/getting-started/tools.html b/docs/_includes/getting-started/tools.html deleted file mode 100644 index 2a38643fa..000000000 --- a/docs/_includes/getting-started/tools.html +++ /dev/null @@ -1,6 +0,0 @@ -
-

Tools

- -

Bootlint

-

Bootlint is the official Bootstrap HTML linter tool. It automatically checks for several common HTML mistakes in webpages that are using Bootstrap in a fairly "vanilla" way. Vanilla Bootstrap's components/widgets require their parts of the DOM to conform to certain structures. Bootlint checks that instances of Bootstrap components have correctly-structured HTML. Consider adding Bootlint to your Bootstrap web development toolchain so that none of the common mistakes slow down your project's development.

-
-- cgit v1.2.3