diff options
author | Wladimir J. van der Laan <laanwj@gmail.com> | 2013-01-01 12:53:55 +0100 |
---|---|---|
committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2013-01-01 12:53:55 +0100 |
commit | ec58428796bbbfe0d542e60ef451ecebc607ea8c (patch) | |
tree | c3982f66c19d51f4ea92cc8c4c5ac10f49b6b416 /tools/fdr_dump_mem.py | |
parent | 9d07cb1b2cfee55390de0194db9052530a73a0c2 (diff) |
Happy new year, update copyright notices to 2013
Also nail down some bits, and start documenting command stream in replay
demo
Diffstat (limited to 'tools/fdr_dump_mem.py')
-rwxr-xr-x | tools/fdr_dump_mem.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/fdr_dump_mem.py b/tools/fdr_dump_mem.py index 8780c6a..7f415ee 100755 --- a/tools/fdr_dump_mem.py +++ b/tools/fdr_dump_mem.py @@ -2,7 +2,7 @@ ''' Dump memory buffer at certain point in execution data log stream. ''' -# Copyright (c) 2012 Wladimir J. van der Laan +# Copyright (c) 2012-2013 Wladimir J. van der Laan # # Permission is hereby granted, free of charge, to any person obtaining a # copy of this software and associated documentation files (the "Software"), |