changeset 1577 | e3e37c730dc0 |
parent 1558 | 3370b7ffeb5c |
child 1578 | f02806f66e00 |
1576:a02353129a41 | 1577:e3e37c730dc0 |
---|---|
179 replaceTeam team (t:teams) = |
179 replaceTeam team (t:teams) = |
180 if teamname team == teamname t then |
180 if teamname team == teamname t then |
181 team : teams |
181 team : teams |
182 else |
182 else |
183 t : replaceTeam team teams |
183 t : replaceTeam team teams |
184 |
|
185 proto2ver :: Word16 -> String |
|
186 proto2ver 17 = "0.9.7-dev" |
|
187 proto2ver 19 = "0.9.7" |
|
188 proto2ver 20 = "0.9.8-dev" |
|
189 proto2ver _ = "Unknown" |