Skip to content

Filter command history based on current prompt#238

Merged
philipb314 merged 3 commits intomathworks:mainfrom
robertoffmoura:rm/filter-history
Apr 25, 2025
Merged

Filter command history based on current prompt#238
philipb314 merged 3 commits intomathworks:mainfrom
robertoffmoura:rm/filter-history

Commits

Commits on Apr 3, 2025