2019-01-27 17:12:46 +03:00
|
|
|
plugins {
|
2020-09-05 16:19:03 +03:00
|
|
|
id("ru.mipt.npm.mpp")
|
|
|
|
|
id("ru.mipt.npm.native")
|
2019-01-27 17:12:46 +03:00
|
|
|
}
|
|
|
|
|
|
2020-08-29 11:45:31 +03:00
|
|
|
kscience {
|
2020-11-10 19:08:53 +03:00
|
|
|
useSerialization{
|
|
|
|
|
json()
|
|
|
|
|
}
|
2020-08-29 11:45:31 +03:00
|
|
|
}
|
2020-03-11 22:30:29 +03:00
|
|
|
|
2020-11-10 19:08:53 +03:00
|
|
|
description = "Meta definition and basic operations on meta"
|
