diff options
Diffstat (limited to 'defs')
-rw-r--r-- | defs/id.def | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/defs/id.def b/defs/id.def index 94af02b12f..a3a383f532 100644 --- a/defs/id.def +++ b/defs/id.def @@ -58,6 +58,7 @@ firstline, predefined = __LINE__+1, %[\ quo name nil + path _ UScore |