mirror of
https://github.com/cuberite/polarssl.git
synced 2025-11-01 12:10:18 -04:00
Time stamps are useful when the document gets shared around, but they tend to lead to merge conflicts. Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>