Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

make ignored_files support re #33

Closed
wants to merge 4 commits into from
Closed

make ignored_files support re #33

wants to merge 4 commits into from

Commits on Jun 9, 2024

  1. ignored_files supports re now

    chinese-wzq committed Jun 9, 2024
    Configuration menu
    Copy the full SHA
    ced48b8 View commit details
    Browse the repository at this point in the history

  2. cancel changes in task_manager.py

    @chinese-wzq
    chinese-wzq authored Jun 9, 2024
    Configuration menu
    Copy the full SHA
    419690f View commit details
    Browse the repository at this point in the history

Commits on Jun 19, 2024

  1. Merge remote-tracking branch 'ori/dev' into dev

    chinese-wzq committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    e4be937 View commit details
    Browse the repository at this point in the history

Commits on Jul 12, 2024

  1. Update: 'ignored_files' no longer supports regex. 

    Added 'ignored_files_regex' to support regex patterns.
    chinese-wzq committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    4c22bcd View commit details
    Browse the repository at this point in the history