Doc: Removed out-dated info about OSX testing

pysmt · Jan 27, 2019 · 268e7ae · 268e7ae
1 parent 2366dba
commit 268e7ae
Showing 1 changed file with 0 additions and 8 deletions.
diff --git a/docs/development.rst b/docs/development.rst
@@ -202,7 +202,6 @@ In order to make a release, the master branch must pass all tests on
 the CI (Travis and Appveyor). The release process is broken into the
 following steps:
 
- * OSX Testing
  * Release branch creation
  * Changelog update
  * Version change
@@ -212,13 +211,6 @@ following steps:
  * Version Bumping
  * Announcement
 
-OSX Testing
------------
-
-The ``master`` branch is merge within ``travix/macosx``. Upon pushing
-this branch, Travis CI will run the tests on OSX platform. In this
-way, we know that pySMT works on all supported platforms.
-
 
 Release Branch Creation
 -----------------------