Skip to content

Changes

#3 (Oct 11, 2019, 9:47:34 AM)

  1. fix missed rule rename — adrian.pop / githubweb
  2. refs #2431: Fix underscores in rules — thomas.beutlich / githubweb

#2 (Oct 10, 2019, 10:48:23 PM)

  1. refs #2434: Fix more white spaces — thomas.beutlich / githubweb