next todo
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
This commit is contained in:
		
					parent
					
						
							
								bb06a69bd5
							
						
					
				
			
			
				commit
				
					
						f544fc5c42
					
				
			
		
					 1 changed files with 4 additions and 1 deletions
				
			
		| 
						 | 
					@ -2,7 +2,10 @@
 | 
				
			||||||
   either make functions available on the other side or
 | 
					   either make functions available on the other side or
 | 
				
			||||||
   put logic on the server side.
 | 
					   put logic on the server side.
 | 
				
			||||||
 | 
					
 | 
				
			||||||
   - trying to run global explorers nicely from local side
 | 
					   - trying to run type explorers nicely from local side
 | 
				
			||||||
 | 
					      - must check whether type directory has been transmitted before!
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					--------------------------------------------------------------------------------
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					
 | 
				
			||||||
   - Both type and global have...
 | 
					   - Both type and global have...
 | 
				
			||||||
| 
						 | 
					
 | 
				
			||||||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue