Show pageOld revisionsBacklinksBack to top Media Manager Namespaces Choose namespace [root] gecko-addons gecko-platforms gecko-systems gecko3 standards system_bus gecko4 gecko4education gecko4education_epfl usb_dev_os Media Files Media Files Upload Search Search in gecko3:system_bus Thumbnails Rows Name Date Apply Search file name: Search File View History gecko4education:pick_place_for_gecko4_education_rev5.txt Date:2021/12/20 10:49 Filename:pick_place_for_gecko4_education_rev5.txt Size:27KB References for:production_data