You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Daniel Heule c70834eaff implemented some sugestions from nico		11 years ago
..
conf	implemented some sugestions from nico	11 years ago
core	forgot myself to the headers ..	11 years ago
exec	…
test	use positional arguments in favour of keyword arguments for backwards compatibility with older python	11 years ago
util	ensure all files we create end with a single newline	11 years ago
__init__.py	…
banner.py	…
config.py	…
emulator.py	bugfix if both override and order is specified	11 years ago
log.py	…
message.py	…
shell.py	…