repos / irgramd / commit
summary | shortlog | log | tree | commit | commitdiff | headdiff
unified | plain | darcs
utils: Small optimization in pretty()
authorE. Bosch <presidev@AT@gmail.com>
local dateFri, 30 Aug 2024 19:00:53
dateFri, 30 Aug 2024 17:00:53
hash95e72ac9b26835162b8ba997c5ff99edfd5d464e
1 file(s) changed:
utils.py +6 -1 diff | history | annotate