History for tools/make_release.sh
2018-05-11
| ||
12:48 | Deleted: Script qui n'est plus utilisé, utiliser "make release" dans src/ à la place check-in: [29475549ac] user: bohwaz, branch: trunk, size: 0 | |
2017-06-08
| ||
06:11 | make_release: ne pas stocker le nom / ID de l'utilisateur file: [a8827534a3] check-in: [b238ec38d0] user: bohwaz, branch: dev, size: 898 [annotate] [blame] [check-ins using] [diff] | |
2015-01-23
| ||
04:28 | Exclure les éléments des squelettes file: [09890a0356] check-in: [7f3f931fc1] user: bohwaz, branch: trunk, size: 923 [annotate] [blame] [check-ins using] [diff] | |
2015-01-03
| ||
00:20 | mise à jour du script de création de release file: [82b1b36a6e] check-in: [0258a53a21] user: bohwaz, branch: trunk, size: 857 [annotate] [blame] [check-ins using] [diff] | |
2013-07-27
| ||
12:20 | Renamed make_release.sh → tools/make_release.sh. Déplacement du code dans src/ file: [d75461017d] check-in: [5112ee854a] user: bohwaz, branch: trunk, size: 720 [annotate] [blame] [check-ins using] [diff] | |