Skip to content

github-markup: display basename instead of entire $0#1131

Merged
kivikakk merged 1 commit intomasterfrom
display_base_executable_name
Nov 27, 2017
Merged

github-markup: display basename instead of entire $0#1131
kivikakk merged 1 commit intomasterfrom
display_base_executable_name

Commits

Commits on Nov 27, 2017