mirror of
				https://github.com/ARM-software/devlib.git
				synced 2025-11-03 15:31:20 +00:00 
			
		
		
		
	Merge pull request #105 from marcbonnici/docs
Docs: Removed duplicate 'Platform' entry.
This commit is contained in:
		@@ -21,7 +21,6 @@ Contents:
 | 
			
		||||
   instrumentation
 | 
			
		||||
   platform
 | 
			
		||||
   connection
 | 
			
		||||
   platform
 | 
			
		||||
 | 
			
		||||
Indices and tables
 | 
			
		||||
==================
 | 
			
		||||
 
 | 
			
		||||
		Reference in New Issue
	
	Block a user