diff options
| author | Aaron LI <aly@aaronly.me> | 2017-08-26 15:41:31 +0800 |
|---|---|---|
| committer | Aaron LI <aly@aaronly.me> | 2017-08-26 15:41:31 +0800 |
| commit | 71e9aeeb7f98f96926490af2723e2ebd414632f0 (patch) | |
| tree | 6b07543ea11f3e8df771612d0e60936d15daf2cb /fg21sim/configs/checkers.py | |
| parent | 52159dc2bde2a1201c50bdc7506fd2c75aa2968f (diff) | |
| download | fg21sim-71e9aeeb7f98f96926490af2723e2ebd414632f0.tar.bz2 | |
sky.py: Allow to set "header"; add "add_history()"
XXX: how to avoid the duplicate @header.setter???
Diffstat (limited to 'fg21sim/configs/checkers.py')
0 files changed, 0 insertions, 0 deletions