go-gg/.gitignore, branch refinement-types-4 Generic Groundwork: My personal extension of the standard library http://git.xyrillian.de/go-gg/atom/.gitignore?h=refinement-types-4 2025-07-01T09:46:49Z fix CI 2025-07-01T09:46:49Z Stefan Majewsky majewsky@gmx.net 2025-07-01T09:46:49Z urn:sha1:3b2c63e67fd72abc42bf792b2b30809241732107 add `make check` target 2025-07-01T09:44:56Z Stefan Majewsky majewsky@gmx.net 2025-07-01T09:44:56Z urn:sha1:cf926f05f994d87e5c9ea4742ef143f10ac927d8