| .. | 
			
		
		
			
			
			
				
					| 
						
							
						
						chapters
					 | 
				
				
					901652a877
					Add a cluster management API. The purpose is to facilitate a partition of the machine and set it to process parallel tasks. It is a first version and can change in the future.
				 | 
				10 years ago | 
			
		
			
			
			
				
					| 
						
							
						
						dev
					 | 
				
				
					bb61f3808d
					update cnrs copyright
				 | 
				10 years ago | 
			
		
			
			
			
				
					| 
						
							
						
						Makefile.am
					 | 
				
				
					901652a877
					Add a cluster management API. The purpose is to facilitate a partition of the machine and set it to process parallel tasks. It is a first version and can change in the future.
				 | 
				10 years ago | 
			
		
			
			
			
				
					| 
						
							
						
						doxygen-config.cfg.in
					 | 
				
				
					bb61f3808d
					update cnrs copyright
				 | 
				10 years ago | 
			
		
			
			
			
				
					| 
						
							
						
						doxygen.cfg
					 | 
				
				
					bb61f3808d
					update cnrs copyright
				 | 
				10 years ago | 
			
		
			
			
			
				
					| 
						
							
						
						doxygen_filter.sh.in
					 | 
				
				
					cf8d54ed51
					doc/doxygen/doxygen_filter.sh.in: only remove lines which START with //
				 | 
				11 years ago | 
			
		
			
			
			
				
					| 
						
							
						
						foreword.html
					 | 
				
				
					bb61f3808d
					update cnrs copyright
				 | 
				10 years ago | 
			
		
			
			
			
				
					| 
						
							
						
						refman.tex
					 | 
				
				
					901652a877
					Add a cluster management API. The purpose is to facilitate a partition of the machine and set it to process parallel tasks. It is a first version and can change in the future.
				 | 
				10 years ago |