From 2f0d93924d5a41418c499d96b9e5a3ca9002d042 Mon Sep 17 00:00:00 2001 From: Olivier Blanvillain Date: Fri, 8 Feb 2019 16:39:29 +0100 Subject: [PATCH 1/2] Remove tests from .vscode-template/settings.json This settings is not only for code search, but also for "ctrl+P" (the quick goto file menu), so having tests there makes its anoying to open test files. --- .vscode-template/settings.json | 1 - 1 file changed, 1 deletion(-) diff --git a/.vscode-template/settings.json b/.vscode-template/settings.json index 2fc6c7215d21..1e8b17d756f7 100644 --- a/.vscode-template/settings.json +++ b/.vscode-template/settings.json @@ -9,7 +9,6 @@ "**/*.class": true, "**/*.hasTasty": true, "**/target/": true, - "tests/": true, "community-build/community-projects": true } } From 65fe739064c070b48cf684904e2e14762e44e748 Mon Sep 17 00:00:00 2001 From: Olivier Blanvillain Date: Fri, 8 Feb 2019 16:40:45 +0100 Subject: [PATCH 2/2] Remove Community build badge from readme --- README.md | 2 -- 1 file changed, 2 deletions(-) diff --git a/README.md b/README.md index dfedfefed65c..530ceb937c89 100644 --- a/README.md +++ b/README.md @@ -3,8 +3,6 @@ Dotty [![Build Status](http://dotty-ci.epfl.ch/api/badges/lampepfl/dotty/status.svg)](http://dotty-ci.epfl.ch/lampepfl/dotty) [![Join the chat at https://gitter.im/lampepfl/dotty](https://badges.gitter.im/Join%20Chat.svg)](https://gitter.im/lampepfl/dotty?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge) -Community build: [![Community Build Status](https://travis-ci.org/lampepfl/dotty-community-build.svg?branch=master)](https://travis-ci.org/lampepfl/dotty-community-build) - * [Homepage](http://dotty.epfl.ch) * [Documentation](http://dotty.epfl.ch/docs)