Skip to content
[Jenkins]Jenkins
log in

Changes

Summary

  1. fix missed rule rename (details)
  2. refs #2431: Fix underscores in rules (details)
Commit 86c06070bc59e0ee42e239c0ff4ff12e787c4fb9 by adrian.pop
fix missed rule rename
The file was modified chapters/syntax.tex (diff)
Commit c8d4ac51701ca293987e7cd14f318593228450b2 by thomas.beutlich
refs #2431: Fix underscores in rules
The file was modified chapters/syntax.tex (diff)