Retire repository even harder.

Change-Id: I5afc6591f2093e51fb71109784e255d72ba5552c
This commit is contained in:
James Page 2024-09-02 08:46:10 +01:00
parent 04edb57d41
commit 3d96b3501f
No known key found for this signature in database
GPG Key ID: BFECAECBA0E7D8C3

View File

@ -3,4 +3,4 @@ This project is no longer maintained.
The contents of this repository are still available in the Git The contents of this repository are still available in the Git
source code management system. To see the contents of this source code management system. To see the contents of this
repository before it reached its end of life, please check out the repository before it reached its end of life, please check out the
previous commit with "git checkout HEAD^2". previous commit with "git checkout HEAD^3".