Skip to content

Activity

Skip bookmarks in "Snapshots" directories

manuel-kochpushed 1 commit to main • 1800b7c…b6e884c • 
on Jul 1, 2024

Improve handling of profile name

manuel-kochpushed 1 commit to main • 96c7291…1800b7c • 
on Aug 25, 2023

Adapt to different installation directories

manuel-kochpushed 1 commit to main • 56509e5…96c7291 • 
on Jun 17, 2023