Anderson Mesquita 4fdc3d9e15 Rename scripting file ... In order to add the more scripting examples, it makes sense to rename this file and avoid confusion.		2018-06-08 08:04:53 +02:00
..
addheader.py
anatomy.py
commands-flows.py
commands-paths.py
commands-simple.py
events.py	events: document behaviour of done() more fully	2018-05-08 11:09:10 +12:00
options-configure.py
options-simple.py
scripting-headers.py	Rename scripting file	2018-06-08 08:04:53 +02:00