|
|
@3165
|
6 years |
tkr |
creating BuildTools/ThirdParty/Glpk?/releases/1.9.5 from …
|
|
|
@3084
|
6 years |
stefan |
creating BuildTools/ThirdParty/Glpk?/releases/1.9.4 from …
|
|
|
@3033
|
6 years |
stefan |
creating BuildTools/ThirdParty/Glpk?/releases/1.9.3 from …
|
|
|
@2985
|
6 years |
stefan |
revert r2394:HEAD - releases are not to be modified
|
|
|
@2978
|
6 years |
tkr |
Re-running the autotools
|
|
|
@2938
|
6 years |
stefan |
creating BuildTools/ThirdParty/Glpk?/releases/1.9.2 from …
|
|
|
@2783
|
6 years |
stefan |
creating BuildTools/ThirdParty/Glpk?/releases/1.9.1 from …
|
|
|
@2725
|
7 years |
stefan |
creating BuildTools/ThirdParty/Glpk?/releases/1.9.0 from …
|
|
|
@2596
|
7 years |
stefan |
creating BuildTools/ThirdParty/Glpk?/releases/1.8.3 from …
|
|
|
@2516
|
8 years |
stefan |
creating BuildTools/ThirdParty/Glpk?/releases/1.8.2 from …
|
|
|
@2440
|
8 years |
stefan |
creating BuildTools/ThirdParty/Glpk?/releases/1.8.1 from …
|
|
|
@2375
|
8 years |
stefan |
creating BuildTools/ThirdParty/Glpk?/releases/1.8.0 from …
|
|
|
@2196
|
9 years |
stefan |
creating BuildTools/ThirdParty/Glpk?/releases/1.7.4 from …
|
|
|
@1988
|
9 years |
stefan |
creating BuildTools/ThirdParty/Glpk?/releases/1.7.3 from …
|
|
|
@1935
|
9 years |
stefan |
creating BuildTools/ThirdParty/Glpk?/releases/1.7.2 from …
|
|
|
@1866
|
9 years |
stefan |
creating BuildTools/ThirdParty/Glpk?/releases/1.7.1 from …
|
|
|
@1806
|
9 years |
tkr |
Decrementing age by one and re-running autotools
|
|
|
@1783
|
9 years |
stefan |
creating BuildTools/ThirdParty/Glpk?/releases/1.7.0 from …
|
|
|
@1420
|
10 years |
stefan |
creating releases/1.5.1 from stable/1.5 (rev 1419)
|
|
|
@1417
|
10 years |
stefan |
creating releases/1.6.0 from stable/1.6 (rev 1416)
|
|
|
@1254
|
11 years |
stefan |
create new release from stable/1.5 rev 1253
|
|
|
@1250
|
11 years |
stefan |
creating new release from stable/1.4 (rev 1249): downgrade to glpk 4.30
|
|
|
@1182
|
11 years |
stefan |
lost changeset
|
|
|
@1180
|
11 years |
stefan |
create new release from stable 1.4 rev 1179
|
|
|
@1172
|
11 years |
stefan |
creating new release from stable 1.4 (rev 1171)
|
|
|
@1137
|
11 years |
stefan |
creating releases/1.4.1 from stable/1.4 (rev 1136)
|
|
|
@1108
|
11 years |
stefan |
create new release from stable 1.4 rev. 1107
|
|
|
@1032
|
11 years |
stefan |
make a new release from stable/1.3 rev. 1026
|
|
|
@993
|
12 years |
stefan |
create release from stable rev 992
|
|
|
@989
|
12 years |
andreasw |
creating releases/1.2.1 from stable/1.2 (rev 988)
|
|
|
@924
|
12 years |
stefan |
creating new release from stable 1.2 (rev. 923)
|
|
|
@918
|
12 years |
andreasw |
creating releases/1.1.4 from stable/1.1 (rev 917)
|
|
|
@894
|
12 years |
andreasw |
creating releases/1.1.3 from stable/1.1 (rev 893)
|
|
|
@854
|
12 years |
andreasw |
creating releases/1.1.2 from stable/1.1 (rev 853)
|
|
|
@851
|
12 years |
andreasw |
creating releases/1.0.1 from stable/1.0 (rev 850)
|
|
|
@699
|
12 years |
ladanyi |
Created new tiny release, because the previous one moved the whole …
|
|
|
@603
|
12 years |
stefan |
creating new ThirdParty/Glpk? release from stable 1.1 (rev. 602)
|
|
|
@568
|
12 years |
andreasw |
creating releases/1.0.0 from stable/1.0 (rev 567)
|
|
|
@556
|
12 years |
andreasw |
deleting release with wrong version number in configure file
|
|
|
@551
|
12 years |
andreasw |
creating releases/1.0.0 from stable/1.0 (rev 550)
|
|
|
@550
|
12 years |
andreasw |
deleting faulty release
|
|
|
@549
|
12 years |
andreasw |
creating releases/1.0.0 from stable/1.0 (rev 548)
|
|
|
@548
|
12 years |
andreasw |
creating releases directory for Glpk
|