Use only local or Zulu time

This commit is contained in:
Anthony Rose 2022-06-06 17:39:43 +01:00
parent c642cd2798
commit 053762a8cd

View file

@ -17,12 +17,10 @@ syntax match prDate /\<\d\{4}-\d\{2}-\d\{2}\>/
" ISO time. " ISO time.
syntax match prDate /\<T\d\{2}:\d\{2}\>/ syntax match prDate /\<T\d\{2}:\d\{2}\>/
syntax match prDate /\<T\d\{2}:\d\{2}[+-]\d\{2}:\d\{2}\>/
syntax match prDate /\<T\d\{2}:\d\{2}Z\>/ syntax match prDate /\<T\d\{2}:\d\{2}Z\>/
" ISO date and time. " ISO date and time.
syntax match prDate /\<\d\{4}-\d\{2}-\d\{2}T\d\{2}:\d\{2}\>/ syntax match prDate /\<\d\{4}-\d\{2}-\d\{2}T\d\{2}:\d\{2}\>/
syntax match prDate /\<\d\{4}-\d\{2}-\d\{2}T\d\{2}:\d\{2}[+-]\d\{2}:\d\{2}\>/
syntax match prDate /\<\d\{4}-\d\{2}-\d\{2}T\d\{2}:\d\{2}Z\>/ syntax match prDate /\<\d\{4}-\d\{2}-\d\{2}T\d\{2}:\d\{2}Z\>/
hi prName term=bold cterm=bold gui=bold hi prName term=bold cterm=bold gui=bold