| __init__.py | Update of copyright years | 2018-01-02 00:48:10 +01:00 | 
		
			
			
			
			
				| connector.py | Update of copyright years | 2018-01-02 00:48:10 +01:00 | 
		
			
			
			
			
				| custom.py | Trivial patch (display of used user queries) | 2018-08-17 19:45:34 +02:00 | 
		
			
			
			
			
				| databases.py | Fixes #3215 | 2018-08-22 17:58:00 +02:00 | 
		
			
			
			
			
				| fingerprint.py | Update of copyright years | 2018-01-02 00:48:10 +01:00 | 
		
			
			
			
			
				| misc.py | Update of copyright years | 2018-01-02 00:48:10 +01:00 | 
		
			
			
			
			
				| search.py | Implementation for an Issue #2891 | 2018-02-13 15:53:50 +01:00 | 
		
			
			
			
			
				| syntax.py | Update of copyright years | 2018-01-02 00:48:10 +01:00 | 
		
			
			
			
			
				| takeover.py | Minor refactoring | 2018-07-27 00:30:30 +02:00 | 
		
			
			
			
			
				| users.py | Update of copyright years | 2018-01-02 00:48:10 +01:00 |