diff options
author | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2017-11-20 16:31:46 +0100 |
---|---|---|
committer | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2017-11-20 16:31:46 +0100 |
commit | b70cb4e567ff4917aff54f052f666374e6b3651d (patch) | |
tree | 8e88d128861c57039a9cce9cfcb64a99ab4a7143 /plugins/omega | |
parent | 2a857da2a88855a6c9f0fa7e48a8700c1613e0c7 (diff) |
Remove pidentref grammar entry.
Replaced by ident_decl in #688.
Diffstat (limited to 'plugins/omega')
0 files changed, 0 insertions, 0 deletions