diff sat_frontends/jp/loops.py @ 3479:be6d91572633

date update
author Goffi <goffi@goffi.org>
date Fri, 19 Mar 2021 15:45:14 +0100
parents 9d0df638c8b4
children 524856bd7b19
line wrap: on
line diff
--- a/sat_frontends/jp/loops.py	Fri Mar 19 14:01:52 2021 +0100
+++ b/sat_frontends/jp/loops.py	Fri Mar 19 15:45:14 2021 +0100
@@ -1,7 +1,7 @@
 #!/usr/bin/env python3
 
 # jp: a SAT command line tool
-# Copyright (C) 2009-2020 Jérôme Poisson (goffi@goffi.org)
+# Copyright (C) 2009-2021 Jérôme Poisson (goffi@goffi.org)
 
 # This program is free software: you can redistribute it and/or modify
 # it under the terms of the GNU Affero General Public License as published by