summaryrefslogtreecommitdiffstats
path: root/web
diff options
context:
space:
mode:
Diffstat (limited to 'web')
-rw-r--r--web/input/development.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/web/input/development.md b/web/input/development.md
index 0f106c6..4d79c91 100644
--- a/web/input/development.md
+++ b/web/input/development.md
@@ -27,7 +27,7 @@ introduction][git-intro] or [some other Git documentation][git-ref], first.
27### Integration Tests 27### Integration Tests
28 28
29We have integrated [continuous integration tests][ci-tests] into our 29We have integrated [continuous integration tests][ci-tests] into our
30development workflow. This ensures that we are aware of trivial build 30development workflow. This should ensure that we are aware of trivial build
31problems. This service is kindly hosted by [Travis CI][travis-start]. 31problems. This service is kindly hosted by [Travis CI][travis-start].
32 32
33### Bundled Test Suite 33### Bundled Test Suite