repos
/
dotsnew.git
/
tree
/
config
/
Tree
Tree:
71a21320a8d1f1e67638a9152fc03a8b29b7f6ed
Date:
Mon Mar 6 15:55:25 2023 UTC
Message:
use ".orig.port" as file extension in mgdiff()
herbstluftwm/