Miroslav Stampar d70215ad6c Fixes #1237

2015-08-31 10:24:05 +02:00

..

__init__.py

Update of copyright

2015-01-06 15:02:16 +01:00

agent.py

Minor improvement to UNION file write

2015-07-26 17:02:46 +02:00

bigarray.py

Patch for an Issue #1113

2015-01-14 14:20:33 +01:00

common.py

Fixes #1367

2015-08-30 01:58:43 +02:00

convert.py

Fixing a leftover for #1117

2015-01-15 17:34:14 +01:00

data.py

Update of copyright

2015-01-06 15:02:16 +01:00

datatype.py

datatype.py

2015-01-14 09:40:24 +00:00

decorators.py

Update of copyright

2015-01-06 15:02:16 +01:00

defaults.py

Update of copyright

2015-01-06 15:02:16 +01:00

dicts.py

Fixes #1304

2015-07-17 14:20:51 +02:00

dump.py

Better approach for #1320

2015-07-30 23:29:31 +02:00

enums.py

Implementation for an Issue #1360

2015-08-26 15:26:16 +02:00

exception.py

Update of copyright

2015-01-06 15:02:16 +01:00

log.py

Minor update

2015-01-26 08:59:10 +01:00

option.py

Closes #1372

2015-08-30 23:15:50 +02:00

optiondict.py

Switch --save becomes an option (taking file path where to save config file)

2015-08-14 22:49:32 +02:00

profiling.py

Update of copyright

2015-01-06 15:02:16 +01:00

readlineng.py

Update of copyright

2015-01-06 15:02:16 +01:00

replication.py

Fixes #1320

2015-07-30 23:19:38 +02:00

revision.py

Update of copyright

2015-01-06 15:02:16 +01:00

session.py

Update of copyright

2015-01-06 15:02:16 +01:00

settings.py

Fixes #1237

2015-08-31 10:24:05 +02:00

shell.py

Minor refactoring

2015-08-26 16:18:03 +02:00

subprocessng.py

Update of copyright

2015-01-06 15:02:16 +01:00

target.py

Minor patch

2015-08-31 09:51:35 +02:00

testing.py

Update of copyright

2015-01-06 15:02:16 +01:00

threads.py

Adding special variable 'lastPage' to the eval code (by request from ML)

2015-08-14 23:29:31 +02:00

unescaper.py

Update of copyright

2015-01-06 15:02:16 +01:00

update.py

Update of copyright

2015-01-06 15:02:16 +01:00

wordlist.py

Closes #1376

2015-08-30 22:52:24 +02:00

xmldump.py

Minor language fix

2013-03-26 14:11:17 +01:00