2 commits

Author	SHA1	Message	Date
Matej Focko	a868efaee6	chore: switch to ‹tar› and have consistent paths ... * Switch the archiving from the ‹zip› to ‹tar.gz› and ‹tar.bz2› * Adjust the static files to have consistent paths Signed-off-by: Matej Focko <me@mfocko.xyz>	2023-08-18 12:19:47 +02:00
Matej Focko	f801e4bb16	chore: add ‹last_update› to docs-like posts ... Allow showing ‹last updated› on the pages and also rename the files where necessary, so they are shown in the order they were created. Signed-off-by: Matej Focko <mfocko@redhat.com>	2023-08-15 17:27:16 +02:00

Renamed from ib002/02-algorithms-correctness/postcondition-ambiguity.md (Browse further)