mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2025-03-25 13:43:31 +00:00
Having a time stamp identifying each revision of the document is useful, but it's also a pain because it creates a conflict whenever there are multiple pending changes at the same time. The gain isn't worth the pain, so I'm removing the time stamp. Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>