mirror of https://github.com/ARMmbed/mbed-os.git
				
				
				
			Update doxyfile_options that has settings used by developer.mbed.org
Should be kept in sync with doxygen_options.json which is used for building the doxygen which is used by docs.mbed.com It is intended only generate doxygen for specific directories which present the public APIs for mbed OSpull/4425/head
							parent
							
								
									052d02e620
								
							
						
					
					
						commit
						5b57f28071