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

Fixes #1157 by renaming filelock to filelock_brat #1204

Open
wants to merge 5 commits into
base: master
Choose a base branch
from

Commits on Nov 28, 2016

  1. Fixes nlplab#1157 by renaming filelock to filelock_brat

    Fixed the filename which was causing the problems.
    Fixed imports of the file.
    napsternxg committed Nov 28, 2016
    Configuration menu
    Copy the full SHA
    7e4a0dd View commit details
    Browse the repository at this point in the history

Commits on Mar 27, 2017

  1. Configuration menu
    Copy the full SHA
    66ca1dd View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    eddc278 View commit details
    Browse the repository at this point in the history

Commits on Apr 7, 2017

  1. Configuration menu
    Copy the full SHA
    4bc177f View commit details
    Browse the repository at this point in the history

Commits on Oct 23, 2017

  1. Configuration menu
    Copy the full SHA
    0f3f547 View commit details
    Browse the repository at this point in the history