diff options
| author | Sven Gothel <[email protected]> | 2023-03-06 11:22:30 +0100 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2023-03-06 11:22:30 +0100 |
| commit | 95250b79766f62d9e5a0f1f46f98ea1f5983a77f (patch) | |
| tree | c0a38796345a4bcf91b6d7b0bca67f18d845e8de /make/doc | |
| parent | 2920be3622adf2b14cfad7d0261c11dc7e8151db (diff) | |
Adapt to GlueGen dropping Platform.currentTimeMicros(), use Platform.currentTimeMillis()
Diffstat (limited to 'make/doc')
0 files changed, 0 insertions, 0 deletions