1. 05 Nov, 2019 1 commit
  2. 02 Nov, 2019 3 commits
  3. 30 Oct, 2019 1 commit
  4. 27 Oct, 2019 1 commit
  5. 24 Oct, 2019 1 commit
  6. 29 Sep, 2019 2 commits
  7. 28 Sep, 2019 2 commits
  8. 15 May, 2019 1 commit
  9. 11 Apr, 2019 2 commits
  10. 03 Apr, 2019 1 commit
  11. 01 Apr, 2019 1 commit
    • Maxime Perrotin's avatar
      Improve copy/rename of states with nesting content · 038e2778
      Maxime Perrotin authored
      When a state is copy-pasted, and then renamed, the tool now checks if
      the copied state was nested. If so it makes a deep copy of the nested
      state at the time when it is renamed. This way the nested content is not
      lost and does not refer to the same nested state.
      038e2778
  12. 22 Mar, 2019 4 commits
  13. 21 Mar, 2019 1 commit
  14. 20 Mar, 2019 2 commits
  15. 06 Mar, 2019 1 commit
  16. 02 Mar, 2019 1 commit
  17. 01 Mar, 2019 1 commit
  18. 28 Feb, 2019 4 commits
  19. 07 Feb, 2019 1 commit
  20. 06 Feb, 2019 1 commit
  21. 18 Jan, 2019 3 commits
  22. 19 Oct, 2018 1 commit
  23. 13 Sep, 2018 1 commit
  24. 09 Jul, 2018 2 commits
  25. 08 Jul, 2018 1 commit