diff sat_frontends/jp/loops.py @ 3136:9d0df638c8b4

dates update
author Goffi <goffi@goffi.org>
date Wed, 29 Jan 2020 09:50:54 +0100
parents 3df611adb598
children be6d91572633
line wrap: on
line diff
--- a/sat_frontends/jp/loops.py	Tue Jan 28 22:42:10 2020 +0100
+++ b/sat_frontends/jp/loops.py	Wed Jan 29 09:50:54 2020 +0100
@@ -1,7 +1,7 @@
 #!/usr/bin/env python3
 
 # jp: a SAT command line tool
-# Copyright (C) 2009-2019 Jérôme Poisson (goffi@goffi.org)
+# Copyright (C) 2009-2020 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