comparison frontends/src/quick_frontend/constants.py @ 609:84a6e83157c2

fixed licences in docstrings (they are now in comments)
author Goffi <goffi@goffi.org>
date Fri, 08 Mar 2013 00:36:22 +0100
parents ca13633d3b6b
children 6246eb6d64a0
comparison
equal deleted inserted replaced
608:ea9aa51234eb 609:84a6e83157c2
1 #!/usr/bin/python 1 #!/usr/bin/python
2 # -*- coding: utf-8 -*- 2 # -*- coding: utf-8 -*-
3 3
4 """ 4 # Primitivus: a SAT frontend
5 Primitivus: a SAT frontend 5 # Copyright (C) 2009, 2010, 2011, 2012, 2013 Jérôme Poisson (goffi@goffi.org)
6 Copyright (C) 2009, 2010, 2011, 2012, 2013 Jérôme Poisson (goffi@goffi.org)
7 6
8 This program is free software: you can redistribute it and/or modify 7 # This program is free software: you can redistribute it and/or modify
9 it under the terms of the GNU Affero General Public License as published by 8 # it under the terms of the GNU Affero General Public License as published by
10 the Free Software Foundation, either version 3 of the License, or 9 # the Free Software Foundation, either version 3 of the License, or
11 (at your option) any later version. 10 # (at your option) any later version.
12 11
13 This program is distributed in the hope that it will be useful, 12 # This program is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of 13 # but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 14 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU Affero General Public License for more details. 15 # GNU Affero General Public License for more details.
17 16
18 You should have received a copy of the GNU Affero General Public License 17 # You should have received a copy of the GNU Affero General Public License
19 along with this program. If not, see <http://www.gnu.org/licenses/>. 18 # along with this program. If not, see <http://www.gnu.org/licenses/>.
20 """
21 import __builtin__ 19 import __builtin__
22 20
23 __builtin__.__dict__['const_PRIVATE_PREFIX'] = "@PRIVATE@" 21 __builtin__.__dict__['const_PRIVATE_PREFIX'] = "@PRIVATE@"