[webdsl/webdsl-editor] 44c01d: Remove obsolete constructor matches

0 views
Skip to first unread message

Danny Groenewegen

unread,
Mar 9, 2022, 4:40:33 PM3/9/22
to web...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/webdsl/webdsl-editor
Commit: 44c01d35f8197bc21dbe6a0578b686f2b04e2a84
https://github.com/webdsl/webdsl-editor/commit/44c01d35f8197bc21dbe6a0578b686f2b04e2a84
Author: Danny Groenewegen <dgroen...@gmail.com>
Date: 2022-03-09 (Wed, 09 Mar 2022)

Changed paths:
M webdsl.editor/trans/typecheck/navigate.str

Log Message:
-----------
Remove obsolete constructor matches


Reply all
Reply to author
Forward
0 new messages