Skip to content
Snippets Groups Projects
This project is mirrored from https://github.com/mantidproject/mantid.git. Pull mirroring updated .
  1. Aug 01, 2018
  2. May 14, 2018
  3. Apr 09, 2018
    • Karl Palmen's avatar
      Merge remote-tracking branch 'origin/master' re #12828 · 8072b97d
      Karl Palmen authored
      
      # Please enter a commit message to explain why this merge is necessary,
      # especially if it merges an updated upstream into a topic branch.
      #
      # Lines starting with '#' will be ignored, and an empty message aborts
      # the commit.
      
      Merge done to enable documentation be be fixed, because of removal of
      alias directive and addition of related algorithms directive.
      
      Signed-off-by: default avatarKarl Palmen <karl.palmen@stfc.ac.uk>
      8072b97d
  4. Mar 19, 2018
  5. Mar 08, 2018
  6. Mar 07, 2018
  7. Feb 28, 2018
  8. Feb 27, 2018
  9. Feb 20, 2018
  10. Sep 15, 2017
  11. Jan 05, 2017
  12. Dec 19, 2016
  13. Nov 03, 2016
  14. Feb 24, 2016
  15. Feb 22, 2016
  16. Feb 18, 2016
  17. Feb 14, 2016
  18. Feb 12, 2016
  19. Feb 11, 2016
  20. Jan 26, 2016
  21. Dec 11, 2015
  22. Oct 14, 2015
  23. Oct 12, 2015
  24. Oct 05, 2015
  25. Mar 19, 2015
  26. Dec 16, 2014
  27. Mar 18, 2014
  28. Feb 08, 2013
    • Russell Taylor's avatar
      Re #6547. Check that map has been fully filled. · e0a3cd29
      Russell Taylor authored
      Just checking that it's not empty can mean that filling it is in
      progress, so we need to enter the critical block if that's the case.
      This shouldn't have much (any?) performance implication as size(),
      like empty(), takes constant time.
      e0a3cd29
  29. Jan 22, 2013
  30. Nov 30, 2012
  31. Nov 29, 2012
  32. Nov 26, 2012
Loading