[Xtla-el-dev] [commit][xtla 1.2] M runs now tla-send-commit-notification in the tla-changelog-mode

[Stefan Reichör]

Committed [EMAIL PROTECTED]

2005-08-13 21:36:14 GMT Stefan Reichoer <[EMAIL PROTECTED]>     patch-12

    Summary:
      M runs now tla-send-commit-notification in the tla-changelog-mode
    Revision:
      xtla--dev--1.2--patch-12