# HG changeset patch # User Ioannis # Date 1542208359 -7200 # Node ID 31ed03ddfcb029d12b52ef800425f9014a5ff3f7 # Parent fded74ad4299dbf018392c74d64e27edec192f63# Parent 8aebd4e7d9f2399002ad226834577ff2deeb354b Merge from branch "iannis_b/high_resolutionrst-created-online-with-b-1542207909956" diff -r 8aebd4e7d9f2 -r 31ed03ddfcb0 docs/index.rst --- a/docs/index.rst Wed Nov 14 15:05:11 2018 +0000 +++ b/docs/index.rst Wed Nov 14 17:12:39 2018 +0200 @@ -17,6 +17,7 @@ administration data_processing depolarization + high_resolution handbook file_formats user_management