2022-08-24 00:01:39 +00:00
|
|
|
export default interface Settings {
|
|
|
|
minutes: number;
|
|
|
|
seconds: number;
|
|
|
|
alarm: number;
|
|
|
|
vibrate: number;
|
|
|
|
predict: number;
|
|
|
|
sets: number;
|
2022-08-25 08:41:01 +00:00
|
|
|
sound: string;
|
2022-08-27 06:08:23 +00:00
|
|
|
notify: number;
|
2022-08-24 00:01:39 +00:00
|
|
|
}
|