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