提交历史

作者 SHA1 备注 提交日期
  Julio Montoya f32ca6dc9b Applied fixes from FlintCI 6 年之前
  Yannick Warnier d1b37f34fe Minor - Add license refs + change dirname(__FILE__) to __DIR__ (about 4 times faster). See http://stackoverflow.com/questions/2749416/is-there-any-difference-between-dir-and-dirname-file-in-php 7 年之前
  jmontoyaa 851ca9c84f Course plugins can now show information in regions see BT#11080 8 年之前