python: Fix name of example script in EXTRA_DIST.
tree63ed3539594b035d2ba7091c603a30d4e5b18dcc
-rw-r--r-- 457 .gitignore
-rw-r--r-- 1448 LICENSE
-rw-r--r-- 1645 Makefile.am
-rw-r--r-- 2109 README
-rw-r--r-- 1120 TODO
-rw-r--r-- 10727 configure.ac
drwxr-xr-x - docs
drwxr-xr-x - include
drwxr-xr-x - m4
drwxr-xr-x - plugins
drwxr-xr-x - src
drwxr-xr-x - tests