100644 blob 40c02c7040be560beffb021444d4bc18fd175166	development_benchmarks.apt
100644 blob a161608196374ecf9c973ca58c50ad63c128945c	development_data_handling.apt
100644 blob cf259b305ae798af1ac9cbed397ef389386828d0	development_eclipse_setup.apt
100644 blob 115a1788f31eac56dceb0d72b1c0db8a8907acf6	development_update_xqts_results.apt
100644 blob 647b8d11b14dfb6f621d7524383270d4badc6967	development_xml_node_details.apt
100644 blob 8b5777a082cd84bce8710e9b73563f327520770c	index.apt
100644 blob 6071b8e336dea9527eee6cd0e50889cc68d243d0	release.apt
100644 blob 3005885a5f66065f8abeb8dec9af95ba2eda3ec3	user_installation.apt
100644 blob a0228250d3487c018046dfc4b8a7d97f9261151f	user_query.apt
100644 blob d10bd7ed1bd063913371288f19b564fbce064887	user_running_tests.apt