Sign in
android
/
platform
/
tools
/
idea
/
9b5d02ac8c92b1e71523cc15cb3d168d57fbd898
/
.
/
plugins
/
xpath
/
xpath-lang
/
testData
/
xpath2
/
highlighting
/
types
/
durationDivNumeric.xpath2
blob: 5680c8b8b5a849b999afe65d285371d7d19dc427 [
file
] [
log
] [
blame
]
'P0DTOH'
cast
as
xs
:
dayTimeDuration div
4