5 Commits (5ae681f2baffdef551c9a0c4359657066c7c8743)

Author	SHA1	Message	Date
Murtuza Zabuawala	f0066d6006	Update preferences docs.	2017-06-27 17:04:56 -04:00
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