Author	SHA1	Message	Date
Goffi	1cd98e8dea	fixed licences in docstrings (they are now in comments)	2013-03-08 00:36:22 +01:00
Emmanuel Gil Peyrot	fb0d7c9ca4	Fix pep8 support in src/tools.	2013-01-18 17:55:35 +01:00
Emmanuel Gil Peyrot	88074cd284	Remove every old-style class.	2013-01-18 17:55:35 +01:00
Emmanuel Gil Peyrot	27b3592e16	Remove trailing whitespaces.	2013-01-18 17:55:34 +01:00
Goffi	def79e44cd	dates update	2013-01-07 23:30:13 +01:00
Goffi	c5a930b627	Licence modification: the full project is now under AGPL v3+ instead of GPL v3+	2012-08-01 22:53:02 +02:00
Goffi	21dbb4473a	copyleft date update	2012-03-06 09:07:24 +01:00
Goffi	02509cdeb1	2011 copyright upgrade	2011-01-05 18:52:38 +01:00
Goffi	0a72186117	files reorganisation	2011-01-04 19:30:27 +01:00

Renamed from src/sat/tools/games.py (Previous history)