Overview
Comment: | Script qui n'est plus utilisé, utiliser "make release" dans src/ à la place |
---|---|
Downloads: | Tarball | ZIP archive | SQL archive |
Timelines: | family | ancestors | descendants | both | trunk |
Files: | files | file ages | folders |
SHA1: |
29475549acecdfeb6e2e2aee99c4c1ac |
User & Date: | bohwaz on 2018-05-11 12:48:20 |
Other Links: | manifest | tags |
Context
2018-05-16
| ||
21:22 | Correction des URI dans les pages wiki (pages avec un tiret à la fin ou au début de l'URI) check-in: 3bd6986537 user: bohwaz tags: trunk | |
2018-05-11
| ||
12:48 | Script qui n'est plus utilisé, utiliser "make release" dans src/ à la place check-in: 29475549ac user: bohwaz tags: trunk | |
12:43 | Nouvelle version stable 0.8.3 check-in: bd32e64b24 user: bohwaz tags: trunk, stable, 0.8.3 | |
Changes
Deleted tools/make_release.sh version [a8827534a3].
|
| < < < < < < < < < < < < < < < < < < < < < < < < < < < < < < < < < < < < < < |