tree 676925b6e13814853830aa8b84312be21d67ed87
parent eb12d1c6d537b787dc97922d16b474bf459fe8f6
author Jürg Billeter <j@bitron.ch> 1603879824 +0100
committer Jürg Billeter <j@bitron.ch> 1623141643 +0200

element.py: Move get_logs() to internal API