cola.difftool – Difftool helpers

cola.difftool.launch(args)
Launches ‘git difftool’ with args

Previous topic

cola.core – Unicode and UNIX helpers

Next topic

cola.inotify – inotify helpers

This Page