История коммитов

Автор SHA1 Сообщение Дата
  Jesper Cockx cf7ea79a8e [ fix #5789 ] Run macro for tactic argument with the proper modality 2 лет назад