| 
						
					 | 
					
						
						
							
						
						283e4666c7
					 | 
					
						
						
							
							Minor changes
						
						
						
						
						
						
					 | 
					
						2022-06-04 21:44:33 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						43110e0cd7
					 | 
					
						
						
							
							defined new variables. started to capitalize global variables
						
						
						
						
						
						
					 | 
					
						2022-06-03 21:47:55 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						66a41aa8f7
					 | 
					
						
						
							
							Added customer_id_base_dir
						
						
						
						
						
						
					 | 
					
						2022-06-03 19:24:13 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						260cbab78d
					 | 
					
						
						
							
							Added known_files-array
						
						
						
						
						
						
					 | 
					
						2022-06-03 19:03:08 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						86139b8e98
					 | 
					
						
						
							
							added check_sanity_of_repository
						
						
						
						
						
						
					 | 
					
						2022-06-02 22:25:57 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						48043f78cc
					 | 
					
						
						
							
							reimplemented after reordering conf-file
						
						
						
						
						
						
					 | 
					
						2022-06-05 21:54:08 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						83b420acf2
					 | 
					
						
						
							
							Added some new vars
						
						
						
						
						
						
					 | 
					
						2022-06-05 16:49:18 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						cb0586fb6b
					 | 
					
						
						
							
							added several new global variables: update_conf, ...
						
						
						
						
						
						
					 | 
					
						2022-06-04 21:29:23 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e3ae2e8d36
					 | 
					
						
						
							
							made to be sourced only once
						
						
						
						
						
						
					 | 
					
						2022-06-04 18:14:16 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						838b932cac
					 | 
					
						
						
							
							eval working_directory
						
						
						
						
						
						
					 | 
					
						2022-06-03 21:09:10 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c1eca2b7bf
					 | 
					
						
						
							
							replaces read_config.sh
						
						
						
						
						
						
					 | 
					
						2022-06-03 20:49:33 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 |