Merge remote-tracking branch 'origin/master'

2026-10-26 04:32:31 +01:00 · 2014-07-31 15:51:54 +02:00
commit e71b995901
@@ -50,6 +50,12 @@
 *.[1-9]R
 *.[1-9][0-9]R
 *.[1-9][0-9][0-9]R
+*.eledsec[1-9]
+*.eledsec[1-9]R
+*.eledsec[1-9][0-9]
+*.eledsec[1-9][0-9]R
+*.eledsec[1-9][0-9][0-9]
+*.eledsec[1-9][0-9][0-9]R

 # glossaries
 *.acn