| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Merge master into staging-next | Frederik Rietdijk | 2019-08-18 |
| |\ | |||
| | * | tla+ toolbox: 1.5.7 -> 1.6.0 | Badi Abdul-Wahid | 2019-08-04 |
| * | | treewide: name -> pname | volth | 2019-08-17 |
| * | | treewide: name -> pname (easy cases) (#66585) | volth | 2019-08-15 |
| |/ | |||
| * | gnome-documents, tlaplus: fix glib references | Vladimír Čunát | 2018-08-30 |
| * | Merge pull request #43899 from r-ryantm/auto-update/tla-toolbox | Frederik Rietdijk | 2018-07-22 |
| |\ | |||
| | * | tlaplusToolbox: 1.5.6 -> 1.5.7 | R. RyanTM | 2018-07-21 |
| * | | pkgs/*: remove unreferenced function arguments | volth | 2018-07-21 |
| |/ | |||
| * | tlaplusToolbox: init at 1.5.6 | Badi Abdul-Wahid | 2018-04-16 |
| * | tlaps: init at 1.4.3 | Badi Abdul-Wahid | 2018-04-16 |
| * | tlaplus: init at 1.5.6 | Austin Seipp | 2018-03-02 |