diff sat_frontends/jp/output_std.py @ 2771:003b8b4b56a7

date update
author Goffi <goffi@goffi.org>
date Sat, 12 Jan 2019 12:25:31 +0100
parents b156b78b8f9a
children ab2696e34d29
line wrap: on
line diff
--- a/sat_frontends/jp/output_std.py	Fri Jan 11 21:38:20 2019 +0100
+++ b/sat_frontends/jp/output_std.py	Sat Jan 12 12:25:31 2019 +0100
@@ -2,7 +2,7 @@
 # -*- coding: utf-8 -*-
 
 # jp: a SàT command line tool
-# Copyright (C) 2009-2018 Jérôme Poisson (goffi@goffi.org)
+# Copyright (C) 2009-2019 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