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.

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

Support additional filetypes #69

Open
wants to merge 7 commits into
base: develop
Choose a base branch
from

Commits on Aug 9, 2024

  1. Configuration menu
    Copy the full SHA
    2257963 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    4c18912 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    5bd6eee View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    a8a4f68 View commit details
    Browse the repository at this point in the history
  5. Added crefset

    lukeswindale committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    7bc49a7 View commit details
    Browse the repository at this point in the history
  6. Fix the failing test

    senjo-aehrc authored and lukeswindale committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    6ec45df View commit details
    Browse the repository at this point in the history

Commits on Aug 12, 2024

  1. Resolving conflict

    senjo-aehrc authored and lukeswindale committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    0921b49 View commit details
    Browse the repository at this point in the history