| 
						
					 | 
					
						
						
						
						
							
						
						
							de686cb4c1
							
						
					 | 
					
						
						
							
							changed version in  configure.ac
						
						
						
						
						
						
					 | 
					
						2021-04-21 17:32:55 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							118aff82bd
							
						
					 | 
					
						
						
							
							Version 1.0 migration to git
						
						
						
						
						
						
					 | 
					
						2021-04-21 17:28:25 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							c7846f2319
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2021-04-21 14:01:14 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							e4937a41f0
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2021-04-21 13:04:37 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							853008caf1
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2020-06-12 12:29:35 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							3c3b28053c
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2020-06-11 15:19:25 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							68fb886418
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2020-05-20 16:31:10 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							3b92abcdb2
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2020-05-20 16:27:52 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							23d53f9a34
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2020-01-12 08:55:26 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							2dd7737825
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2020-01-08 21:32:02 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							ef02c16f28
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2020-01-06 20:50:34 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							086c2202be
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2020-01-06 14:52:46 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							faf719660c
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2020-01-05 20:22:46 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							20a34fbc52
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2020-01-04 21:58:49 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							2ab28bb5e8
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2020-01-04 20:28:03 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							3b469ad619
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2020-01-04 17:55:58 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							2cb9b28ee3
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2020-01-01 09:58:51 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							8529a746df
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2020-01-01 09:22:55 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							c466dfadf8
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2019-12-31 17:49:39 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							31c724ad27
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2019-12-30 15:41:36 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							45bdb8c94f
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2019-12-30 15:15:12 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							f0c66e0428
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2019-12-30 14:42:10 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							d8563301d4
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2019-11-13 22:22:25 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							40469916fa
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2019-11-12 23:52:44 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							f8ac9262c7
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2019-11-11 20:12:42 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							4151cda15d
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2019-03-30 17:01:03 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							9dd4b18976
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2018-11-07 18:21:59 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							de49120e1b
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2018-11-03 18:17:13 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							0be3cee927
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2017-11-07 00:28:14 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							af3f2362c9
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2017-11-01 15:20:58 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							ebf079f739
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2017-09-27 21:13:48 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							1ba3aab5ea
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2016-06-29 12:32:46 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							360eb60a97
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2016-06-28 13:07:54 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							8ed1014ddc
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2015-03-05 15:18:46 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							80fe44fab2
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2013-11-04 14:56:39 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							a9e30620f0
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2013-11-04 14:54:04 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							49dd96eab2
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2012-07-31 09:18:18 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							2537b8612e
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2012-02-23 15:27:05 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							4b5d67dd54
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2012-02-23 15:22:07 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							195474b5f5
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2012-02-23 15:12:32 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							7fd5c953ff
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2012-01-24 14:26:28 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							820d92b85f
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2011-06-02 14:42:07 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							ec7bcc0fd7
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2011-02-02 09:55:59 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							4534c2e56a
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2011-01-18 14:37:05 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							600b5b3abd
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2010-12-23 11:30:00 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							c51cc70e3a
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2010-10-22 13:46:59 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							996a7f5275
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2010-09-27 13:56:28 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							252313f3d0
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2010-09-22 13:38:12 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							e580467e5a
							
						
					 | 
					
						
						
							
							cuda
						
						
						
						
						
						
					 | 
					
						2010-09-08 16:27:58 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							e8cbf9e5fb
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2010-09-08 13:38:06 +00:00 | 
					
					
						
						
							
							
							
						
					 |