etc/isar-keywords.el
changeset 53553 d4191bf88529
parent 53469 3356a148b783
child 53637 f8147d885600
     1.1 --- a/etc/isar-keywords.el	Wed Sep 11 23:55:47 2013 +0200
     1.2 +++ b/etc/isar-keywords.el	Thu Sep 12 00:07:46 2013 +0200
     1.3 @@ -319,7 +319,6 @@
     1.4      "constant"
     1.5      "constrains"
     1.6      "datatypes"
     1.7 -    "defaults"
     1.8      "defines"
     1.9      "file"
    1.10      "fixes"