@sitnik_en also pandiff might be another diff tool to consider, depending on the kind of documents you are mostly editing.
https://github.com/davidar/pandiff
=> More informations about this toot | View the thread | More toots from anwagnerdreas@hcommons.social
=> View sitnik_en@mastodon.social profile
text/gemini
This content has been proxied by September (3851b).