2022-08-04 00:25:32 +08:00
|
|
|
#define PIKA_VERSION_MAJOR 1
|
2022-09-16 15:34:17 +08:00
|
|
|
#define PIKA_VERSION_MINOR 11
|
2022-11-02 12:44:48 +08:00
|
|
|
#define PIKA_VERSION_MICRO 6
|
2022-06-27 09:56:45 +08:00
|
|
|
|
2022-11-16 21:22:31 +08:00
|
|
|
#define PIKA_EDIT_TIME "2022/11/16 21:22:16"
|
