Overview
| Comment: | Merge trunk into 1.0 branch |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | 1.0 |
| Files: | files | file ages | folders |
| SHA3-256: |
c13025a1af2de72a1f7ea2b262d8af04 |
| User & Date: | js on 2023-08-28 15:49:40 |
| Other Links: | branch diff | manifest | tags |
Context
|
2023-08-29
| ||
| 12:37 | Merge trunk into 1.0 branch check-in: ed4d7ecf9c user: js tags: 1.0 | |
|
2023-08-28
| ||
| 15:49 | Merge trunk into 1.0 branch check-in: c13025a1af user: js tags: 1.0 | |
| 15:49 | Makefile: Don't build docs twice on `make release` check-in: 17d4c687ff user: js tags: trunk | |
| 15:44 | Merge trunk into 1.0 branch check-in: c20b5c87ef user: js tags: 1.0 | |
Changes
Modified Makefile from [52985854fc] to [7ac30af11e]. [diff]