diff options
| author | George Marques <george@gmarqu.es> | 2017-11-14 20:01:45 -0200 |
|---|---|---|
| committer | George Marques <george@gmarqu.es> | 2017-11-16 21:56:57 -0200 |
| commit | 1d12470a78d31a054aefc7f7c9a863db24b09986 (patch) | |
| tree | d020f85566491ff2975bf8084a8ad68f8b66d9ee /core/make_binders.py | |
| parent | b44cb4e3b9b573a3cbbd6f71aff81e6c3465d84b (diff) | |
Add print_error function, akin to print_line
Diffstat (limited to 'core/make_binders.py')
0 files changed, 0 insertions, 0 deletions