Merge branch 'wsos'

2016-03-15 23:16:42 +01:00
parent c0420987ea de8598ab83
commit 69da134956
30 changed files with 1052 additions and 20 deletions
--- a/doc/how-to-build.txt
+++ b/doc/how-to-build.txt
@ -33,6 +33,7 @@ Required for Fail*:
   * a MySQL 5.0+ or MariaDB 5.1+ (MariaDB 5.5 recommended) server
   * doxygen
   * cmake-curses-gui
+   * python-numpy and python-matplotlib for the faultspaceplot tool