diff options
| author | Claire Xen <claire@clairexen.net> | 2021-06-09 13:22:52 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-09 13:22:52 +0200 |
| commit | 55e8f5061af57bf25bd9e30528de8196c6eabe9e (patch) | |
| tree | e4fcc0a71494dd1023e938b2ed041489c7536014 /libs/ezsat/demo_cmp.cc | |
| parent | 2e697f5655455fd8ce5fec40b94683a11ade24e8 (diff) | |
| parent | 588137cd082849cfa3dee92a01ac4ee91f6ed946 (diff) | |
| download | yosys-55e8f5061af57bf25bd9e30528de8196c6eabe9e.tar.gz yosys-55e8f5061af57bf25bd9e30528de8196c6eabe9e.tar.bz2 yosys-55e8f5061af57bf25bd9e30528de8196c6eabe9e.zip | |
Merge pull request #2817 from YosysHQ/claire/fixemails
Fixing old e-mail addresses and deadnames
Diffstat (limited to 'libs/ezsat/demo_cmp.cc')
| -rw-r--r-- | libs/ezsat/demo_cmp.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libs/ezsat/demo_cmp.cc b/libs/ezsat/demo_cmp.cc index 8d7ceb2b4..7b927c664 100644 --- a/libs/ezsat/demo_cmp.cc +++ b/libs/ezsat/demo_cmp.cc @@ -1,7 +1,7 @@ /* * ezSAT -- A simple and easy to use CNF generator for SAT solvers * - * Copyright (C) 2013 Clifford Wolf <clifford@clifford.at> + * Copyright (C) 2013 Claire Xenia Wolf <claire@yosyshq.com> * * Permission to use, copy, modify, and/or distribute this software for any * purpose with or without fee is hereby granted, provided that the above |