mirror of
				https://github.com/ARM-software/devlib.git
				synced 2025-10-30 21:43:21 +00:00 
			
		
		
		
	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