Skip to content
Snippets Groups Projects
Commit bf7dc295 authored by Jan Hensel's avatar Jan Hensel
Browse files

numbat: disable banner

parent da990e82
No related branches found
No related tags found
No related merge requests found
intro-banner = "long"
intro-banner = "off"
prompt = ">>> "
pretty-print = "auto"
color = "auto"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment