Add option to control the time display (fix #860)
This commit is contained in:
@@ -31,6 +31,9 @@
|
||||
# Do not set the terminal title
|
||||
#set_title = false
|
||||
|
||||
# Display the time in step titles
|
||||
# display_time = true
|
||||
|
||||
# Cleanup temporary or old files
|
||||
#cleanup = true
|
||||
|
||||
|
||||
Reference in New Issue
Block a user