diff options
| author | Mark Otto <[email protected]> | 2015-01-19 15:25:53 -0800 |
|---|---|---|
| committer | Mark Otto <[email protected]> | 2015-01-19 15:25:53 -0800 |
| commit | a72741ed629d1d213b86c90299c2a51d1bb8bc0c (patch) | |
| tree | 249fee38f1a0ed62941fc5e1217e2248b8055599 /docs/_includes/getting-started/tools.html | |
| parent | d8c94029d32eada821ba094f7e948c718c5ef8f1 (diff) | |
| download | bootstrap-a72741ed629d1d213b86c90299c2a51d1bb8bc0c.tar.xz bootstrap-a72741ed629d1d213b86c90299c2a51d1bb8bc0c.zip | |
nuke files
Diffstat (limited to 'docs/_includes/getting-started/tools.html')
| -rw-r--r-- | docs/_includes/getting-started/tools.html | 6 |
1 files changed, 0 insertions, 6 deletions
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 @@ -<div class="bs-docs-section"> - <h1 id="tools" class="page-header">Tools</h1> - - <h2 id="tools-bootlint">Bootlint</h2> - <p><strong><a href="https://github.com/twbs/bootlint">Bootlint</a></strong> is the official Bootstrap HTML <a href="http://en.wikipedia.org/wiki/Lint_(software)">linter</a> 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.</p> -</div> |