minor wordsmithing
authorGabor Greif <ggreif@gmail.com>
Mon, 30 Oct 2017 11:03:30 +0000 (12:03 +0100)
committerGabor Greif <ggreif@gmail.com>
Mon, 30 Oct 2017 11:03:30 +0000 (12:03 +0100)
commit53700a9de48a3fb15015bd60462878fc9a2c0548
tree5189a3682c3eb14ad03a27d64db25daef7c56109
parent15696682a4ac65c359101844c212fd4ae7357dc8
minor wordsmithing
docs/users_guide/using-warnings.rst