Switch to strict bulleting everywhere (!184) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Tej Chajed requested to merge tchajed/stdpp:strict-bulleting into master 4 years ago

Sep 15, 2020
- Fix typo · 4c8ca33b
  Tej Chajed authored 4 years ago
  
  Unverified
  
  4c8ca33b
- Apply 5 suggestion(s) to 3 file(s) · 7a9651e7
  Tej Chajed authored 4 years ago
  
  7a9651e7
- Remove global strict bulleting flag · 87095c3b
  Tej Chajed authored 4 years ago
  
  Verified
  
  87095c3b
- Finish strict bulleting · 6b48804f
  Tej Chajed authored 4 years ago
  
  Unverified
  
  6b48804f
Sep 14, 2020

Start using strict bulleting everywhere · 9344f49c

Tej Chajed authored 4 years ago

Set Default Goal Selector "!" makes it illegal to ever apply a tactic
with more than one goal (instead, must focus with bullets or braces).

9344f49c