| .. | 
			
		
		
			
			
			
			
				| 
					
						
							
								
								__init__.py
							
						
					
				 | 
				
					
						
							
							Update of copyright
						
					
				 | 
				2015-01-06 15:02:16 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								agent.py
							
						
					
				 | 
				
					
						
							
							Fixing ancient bug (introduced with #6c80f29) - that removes original value when --prefix used
						
					
				 | 
				2015-10-22 15:14:12 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								bigarray.py
							
						
					
				 | 
				
					
						
							
							Minor patch
						
					
				 | 
				2015-09-09 11:53:44 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								common.py
							
						
					
				 | 
				
					
						
							
							Fixes #1505
						
					
				 | 
				2015-10-31 10:16:44 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								convert.py
							
						
					
				 | 
				
					
						
							
							Fixing a leftover for #1117
						
					
				 | 
				2015-01-15 17:34:14 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								data.py
							
						
					
				 | 
				
					
						
							
							Update of copyright
						
					
				 | 
				2015-01-06 15:02:16 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								datatype.py
							
						
					
				 | 
				
					
						
							
							datatype.py
						
					
				 | 
				2015-01-14 09:40:24 +00:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								decorators.py
							
						
					
				 | 
				
					
						
							
							Update of copyright
						
					
				 | 
				2015-01-06 15:02:16 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								defaults.py
							
						
					
				 | 
				
					
						
							
							Update of copyright
						
					
				 | 
				2015-01-06 15:02:16 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								dicts.py
							
						
					
				 | 
				
					
						
							
							Patch for an Issue #1434
						
					
				 | 
				2015-09-27 15:59:17 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								dump.py
							
						
					
				 | 
				
					
						
							
							Bug fixes for HSQLDB
						
					
				 | 
				2015-10-09 16:52:13 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								enums.py
							
						
					
				 | 
				
					
						
							
							Implementation for an Issue #1360
						
					
				 | 
				2015-08-26 15:26:16 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								exception.py
							
						
					
				 | 
				
					
						
							
							Update of copyright
						
					
				 | 
				2015-01-06 15:02:16 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								log.py
							
						
					
				 | 
				
					
						
							
							Minor update
						
					
				 | 
				2015-01-26 08:59:10 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								option.py
							
						
					
				 | 
				
					
						
							
							Fixes #1495
						
					
				 | 
				2015-10-28 10:29:12 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								optiondict.py
							
						
					
				 | 
				
					
						
							
							Implements #1442
						
					
				 | 
				2015-10-01 11:57:33 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								profiling.py
							
						
					
				 | 
				
					
						
							
							Update of copyright
						
					
				 | 
				2015-01-06 15:02:16 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								readlineng.py
							
						
					
				 | 
				
					
						
							
							Update of copyright
						
					
				 | 
				2015-01-06 15:02:16 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								replication.py
							
						
					
				 | 
				
					
						
							
							Fixes #1411
						
					
				 | 
				2015-09-15 13:26:25 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								revision.py
							
						
					
				 | 
				
					
						
							
							Update of copyright
						
					
				 | 
				2015-01-06 15:02:16 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								session.py
							
						
					
				 | 
				
					
						
							
							Update of copyright
						
					
				 | 
				2015-01-06 15:02:16 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								settings.py
							
						
					
				 | 
				
					
						
							
							Adding new bold patterns
						
					
				 | 
				2015-10-22 15:44:08 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								shell.py
							
						
					
				 | 
				
					
						
							
							Minor refactoring
						
					
				 | 
				2015-08-26 16:18:03 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								subprocessng.py
							
						
					
				 | 
				
					
						
							
							Update of copyright
						
					
				 | 
				2015-01-06 15:02:16 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								target.py
							
						
					
				 | 
				
					
						
							
							Minor patch with imports
						
					
				 | 
				2015-09-10 15:55:49 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								testing.py
							
						
					
				 | 
				
					
						
							
							Update of copyright
						
					
				 | 
				2015-01-06 15:02:16 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								threads.py
							
						
					
				 | 
				
					
						
							
							Fixes #1393
						
					
				 | 
				2015-09-08 11:10:47 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								unescaper.py
							
						
					
				 | 
				
					
						
							
							Update of copyright
						
					
				 | 
				2015-01-06 15:02:16 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								update.py
							
						
					
				 | 
				
					
						
							
							Patch for an Issue #541
						
					
				 | 
				2015-10-22 20:51:05 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								wordlist.py
							
						
					
				 | 
				
					
						
							
							Closes #1376
						
					
				 | 
				2015-08-30 22:52:24 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								xmldump.py
							
						
					
				 | 
				
					
						
							
							Minor language fix
						
					
				 | 
				2013-03-26 14:11:17 +01:00 |