4 Commits (685b1ea12fd9ce7abb0bfcfb9e851d561a330760)

Author	SHA1	Message	Date
Dave Page	3cc58cf3de	Remove help text for an option that no longer exists.	2017-02-04 14:23:43 +01:00
Dave Page	f4f8273994	Display basic query info when execution completes in the query tool. Fixes #1507	2016-07-27 11:36:13 +01:00
Susan Douglas	5051470bc7	Doc restructuring	2016-06-21 09:06:44 +01:00
Susan Douglas	b0a901e90e	More doc updates.	2016-06-07 09:04:58 +01:00