User contributions

Jump to navigation Jump to search
Search for contributions
 
 
      
 
   

  • 20:01, 16 June 2019 (diff | hist) (+321) m GNOME/Files(added a note under Tips and Tricks on how to add bookmarks, and that they are shared with other Gnome-based graphical file managers)