Adrien Destugues 6ca34a59b5 Add some notes on how to use PCI serial ports for serial debugging.		2020-01-05 10:42:37 +01:00
..
add-ons
apps
develop	Add some notes on how to use PCI serial ports for serial debugging.	2020-01-05 10:42:37 +01:00
interface_guidelines	Proofread and update the HIG	2018-11-09 21:43:21 +00:00
misc	makefile-engine docs: Fix app_name_catalog_entry.	2018-08-25 21:22:54 -04:00
user	Add some documentation for BUrl.	2019-12-09 19:00:20 +00:00
userguide	Update userguide translations	2019-10-19 17:22:44 -04:00
welcome	Update welcome page translations	2019-10-22 22:01:24 -04:00