upstream/progress-linux
Watch
1
0
Fork
You've already forked progress-linux
 0
Code Activity
No description
92 commits 1 branch 10 tags 193 KiB
  • Standard ML 83%
  • Makefile 17%
Find a file
Exact
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Daniel Baumann 18ee095ddf
 Releasing version 20260205. 
Signed-off-by: Daniel Baumann <daniel@debian.org>
2026-02-05 20:12:52 +01:00
man Rewriting manpage in rst. 2026-02-05 19:56:31 +01:00
pgp-keys Adding signatures from Tom Jampen <tom@cryptography.ch> [9E932D1E0B31CF850AFC799E6F3E6153163E0577]. 2026-02-05 19:47:47 +01:00
ssh-keys Adding signatures from Tom Jampen <tom@cryptography.ch> [9E932D1E0B31CF850AFC799E6F3E6153163E0577]. 2026-02-05 19:47:47 +01:00
.gitignore Adding gitignore. 2026-02-05 19:38:09 +01:00
CHANGELOG.txt Releasing version 20260205. 2026-02-05 20:12:52 +01:00
LICENSE.txt Updating license with newer GPL-3 version containing https instead of http links. 2026-02-05 19:45:57 +01:00
Makefile Switching keyrings extension from gpg to pgp. 2026-02-05 20:10:13 +01:00
VERSION.txt Releasing version 20260205. 2026-02-05 20:12:52 +01:00