1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
|
[
{
"id": "services.welcome",
"defaultMessage": "!!!Welcome to Ferdi",
"file": "src/components/services/content/Services.js",
"start": {
"line": 15,
"column": 11
},
"end": {
"line": 18,
"column": 3
}
},
{
"id": "services.getStarted",
"defaultMessage": "!!!Get started",
"file": "src/components/services/content/Services.js",
"start": {
"line": 19,
"column": 14
},
"end": {
"line": 22,
"column": 3
}
},
{
"id": "services.login",
"defaultMessage": "!!!Please login to use Ferdi.",
"file": "src/components/services/content/Services.js",
"start": {
"line": 23,
"column": 9
},
"end": {
"line": 26,
"column": 3
}
},
{
"id": "services.serverless",
"defaultMessage": "!!!Use Ferdi without an Account",
"file": "src/components/services/content/Services.js",
"start": {
"line": 27,
"column": 14
},
"end": {
"line": 30,
"column": 3
}
},
{
"id": "services.serverInfo",
"defaultMessage": "!!!Optionally, you can change your Ferdi server by clicking the cog in the bottom left corner. If you are switching over (from one of the hosted servers) to using Ferdi without an account, please be informed that you can export your data from that server and subsequently import it using the Help menu to resurrect all your workspaces and configured services!",
"file": "src/components/services/content/Services.js",
"start": {
"line": 31,
"column": 14
},
"end": {
"line": 34,
"column": 3
}
}
]
|
