Closed zachll closed 4 years ago
The update was generated by tools/make-dict.sh when testing it out, no manual modifications were made, so I think we're OK to merge
On Sun, Sep 27, 2020 at 10:06 AM Colin notifications@github.com wrote:
Was the update to the dictionary generated by tools/make-dict.sh, or was that done manually? If manually, the changes should be made in psdo.owl as well.
— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/Display-Lab/psdo/pull/178#issuecomment-699639874, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAADKN6Q2MYYIPXJDUAYX5TSH5BGVANCNFSM4R3RNQDQ .
-- Zach Landis-Lewis, MLIS, PhD Assistant Professor Department of Learning Health Sciences, Medical School University of Michigan
Office: 734-615-1313 Cell: 734-757-3112
https://medicine.umich.edu/dept/lhs/zach-landis-lewis-phd-mlis https://github.com/Display-Lab
Was the update to the dictionary generated by tools/make-dict.sh, or was that done manually? If manually, the changes should be made in psdo.owl as well.