mirror of
https://github.com/ZDoom/gzdoom.git
synced 2024-11-29 15:22:08 +00:00
6 lines
No EOL
136 B
C++
6 lines
No EOL
136 B
C++
/*!re2c
|
|
digits = [0-9];
|
|
|
|
(digits+ | digits* "." digits+) ([dDeE] [+-]? digits+)? { return true; }
|
|
[\000-\377] { return false; }
|
|
*/ |