summaryrefslogtreecommitdiffstats
path: root/translations/source/sat/formula (unfollow)
Commit message (Expand)AuthorFilesLines
2024-04-27Regenerating debian files.Daniel Baumann1-7/+11