tree b7e56c9980e09b79ac7ddc72bab9f6d77c657bd4
parent 9b129d1d360326ba4cabbe24dd4733519c3055d6
author Guillaume Nodet <gnodet@gmail.com> 1665778999 +0200
committer Guillaume Nodet <gnodet@gmail.com> 1665779293 +0200

Do not use properties