diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2026-01-02 15:10:48 -0500 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2026-01-02 15:10:48 -0500 |
| commit | 9653a7c2e53e2bc5e8f146a7d9ea1e71eed19e08 (patch) | |
| tree | 7f026a142b4f8efcdbf517cc58adc97eb3b37cd5 /modules | |
| parent | e4d5bf73e4ad9dc51f923a32903011edfeae2908 (diff) | |
| parent | ce49f93da58d007c0a52ee82e2421adfe06012f9 (diff) | |
Merge branch 'dev' into constructive-reals
Diffstat (limited to 'modules')
| -rw-r--r-- | modules/examples.ini | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/modules/examples.ini b/modules/examples.ini index 20a04639..8e53d431 100644 --- a/modules/examples.ini +++ b/modules/examples.ini @@ -1,27 +1,27 @@ [log] -version=v1.0 +version=v2025-12-22 git=https://github.com/bruce-hill/tomo-log [ini] -version=v1.0 +version=v2025-12-22 git=https://github.com/bruce-hill/tomo-ini [vectors] -version=v1.0 +version=v1.1 git=https://github.com/bruce-hill/tomo-vectors [http] -version=v1.1 +version=v1.2 git=https://github.com/bruce-hill/tomo-http [http-server] -version=v1.0 +version=v2025-12-22 git=https://github.com/bruce-hill/tomo-http-server [wrap] -version=v1.0 +version=v2025-12-22 git=https://github.com/bruce-hill/tomo-wrap [colorful] -version=v1.0 +version=v2025-11-29 git=https://github.com/bruce-hill/tomo-colorful |