| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Version bump. |   Sergei Trofimovich | 2015-05-20 | 1 | -6/+6 |
| * | Version bump. | Sergei Trofimovich | 2015-05-20 | 2 | -2/+8 |
| * | Fix version bump, thanks Christian Strahl. |   Michael Weber | 2015-05-20 | 1 | -5/+5 |
| * | Fix version bump, thanks Christian Strahl. | Michael Weber | 2015-05-20 | 2 | -3/+8 |
| * | Version bump by Christian Strahl (bug 548682). | Michael Weber | 2015-05-20 | 1 | -16/+8 |
| * | Version bump by Christian Strahl (bug 548682). | Michael Weber | 2015-05-20 | 4 | -1/+189 |
| * | alpha stable, bug 547766. |   Matt Turner | 2015-05-20 | 1 | -5/+15 |
| * | alpha stable, bug 547766. | Matt Turner | 2015-05-20 | 2 | -3/+6 |
| * | Version bump. |   Jeroen Roovers | 2015-05-20 | 1 | -6/+6 |
| * | Version bump. | Jeroen Roovers | 2015-05-20 | 2 | -2/+8 |
| * | Version bump. | Jeroen Roovers | 2015-05-19 | 1 | -4/+6 |
| * | Version bump. | Jeroen Roovers | 2015-05-19 | 2 | -1/+50 |
| * | Fix Manifest |   Pacho Ramos | 2015-05-18 | 1 | -4/+4 |
| * | Fix building without git installed. |   James Le Cuirot | 2015-05-18 | 1 | -2/+25 |
| * | Fix building without git installed. | James Le Cuirot | 2015-05-18 | 3 | -3/+33 |
| * | Add dependency to boost |   Matthias Schwarzott | 2015-05-18 | 1 | -2/+12 |
| * | Add dependency to boost | Matthias Schwarzott | 2015-05-18 | 2 | -3/+7 |
| * | Version bump. | Jeroen Roovers | 2015-05-18 | 1 | -14/+6 |
| * | Version bump. | Jeroen Roovers | 2015-05-18 | 2 | -1/+57 |
| * | Version bump, drop old | Pacho Ramos | 2015-05-17 | 1 | -18/+6 |
| * | Version bump, drop old | Pacho Ramos | 2015-05-17 | 2 | -3/+9 |
| * | Version bump, drop old | Pacho Ramos | 2015-05-17 | 1 | -6/+6 |
| * | Version bump, drop old | Pacho Ramos | 2015-05-17 | 2 | -2/+8 |
| * | Version bump, drop old | Pacho Ramos | 2015-05-17 | 1 | -6/+6 |
| * | Version bump, drop old | Pacho Ramos | 2015-05-17 | 2 | -2/+8 |
| * | Version bump. | Jeroen Roovers | 2015-05-17 | 1 | -4/+6 |
| * | Version bump. | Jeroen Roovers | 2015-05-17 | 2 | -1/+50 |
| * | Version bump. |   Tim Harder | 2015-05-16 | 1 | -14/+10 |
| * | Version bump. | Tim Harder | 2015-05-16 | 2 | -1/+30 |
| * | Version bump. Remove old. |   Manuel Rüger | 2015-05-16 | 1 | -3/+3 |
| * | Version bump. Remove old. | Manuel Rüger | 2015-05-16 | 2 | -3/+9 |
| * | version bump, unbundle dev-ml/menhir and dev-ml/parmap |   Alexis Ballier | 2015-05-16 | 1 | -16/+6 |
| * | version bump, unbundle dev-ml/menhir and dev-ml/parmap | Alexis Ballier | 2015-05-16 | 2 | -1/+145 |
| * | sparc stable wrt bug #530916 |   Mikle Kolyada | 2015-05-15 | 1 | -5/+7 |
| * | sparc stable wrt bug #530916 | Mikle Kolyada | 2015-05-15 | 2 | -3/+6 |
| * | Keyword ~arm, ~ppc and ~ppc64. Bug #549516. |   Anthony G. Basile | 2015-05-15 | 1 | -17/+17 |
| * | Keyword ~arm, ~ppc and ~ppc64. Bug #549516. | Anthony G. Basile | 2015-05-15 | 4 | -12/+15 |
| * | Keyword ~arm ~ppc ~ppc64. Bug #549516. | Anthony G. Basile | 2015-05-15 | 1 | -16/+16 |
| * | Keyword ~arm ~ppc ~ppc64. Bug #549516. | Anthony G. Basile | 2015-05-15 | 3 | -9/+12 |
| * | Add slot-operator dep on jsoncpp. |   Mike Gilbert | 2015-05-15 | 1 | -16/+6 |
| * | Add slot-operator dep on jsoncpp. | Mike Gilbert | 2015-05-15 | 3 | -5/+9 |
| * | Restore version that was accidentally removed. |   Michael Palimaka | 2015-05-14 | 1 | -16/+16 |
| * | Restore version that was accidentally removed. | Michael Palimaka | 2015-05-14 | 2 | -3/+9 |
| * | Doesn't use scrollkeeper if not passing --enable-scrollkeeper, drop old | Pacho Ramos | 2015-05-13 | 1 | -26/+6 |
| * | Doesn't use scrollkeeper if not passing --enable-scrollkeeper, drop old | Pacho Ramos | 2015-05-13 | 8 | -363/+9 |
| * | Remove old. | Michael Palimaka | 2015-05-13 | 1 | -19/+16 |
| * | Remove old. | Michael Palimaka | 2015-05-13 | 3 | -56/+5 |
| * | Stable for x86, wrt bug #548420 |   Agostino Sarubbo | 2015-05-13 | 1 | -15/+15 |
| * | Stable for x86, wrt bug #548420 | Agostino Sarubbo | 2015-05-13 | 2 | -3/+6 |
| * | Stable for x86, wrt bug #548928 | Agostino Sarubbo | 2015-05-13 | 1 | -15/+15 |
Sergei Trofimovich
Michael Weber
Matt Turner
Jeroen Roovers
Pacho Ramos
James Le Cuirot
Matthias Schwarzott
Tim Harder
Manuel Rüger
Alexis Ballier
Mikle Kolyada
Anthony G. Basile
Mike Gilbert
Michael Palimaka
Agostino Sarubbo
GitWeb