From 5e601f7ee14830ef645ee3d3b1bcdce7450a5ce3 Mon Sep 17 00:00:00 2001 From: punk Date: Thu, 29 Apr 2021 16:10:16 +0100 Subject: linux tools configs moved to linux folder --- tools/conf/etc/nginx/conf.d/10-default.conf | 8 -------- 1 file changed, 8 deletions(-) delete mode 100644 tools/conf/etc/nginx/conf.d/10-default.conf (limited to 'tools/conf/etc/nginx/conf.d') diff --git a/tools/conf/etc/nginx/conf.d/10-default.conf b/tools/conf/etc/nginx/conf.d/10-default.conf deleted file mode 100644 index 97ee31b..0000000 --- a/tools/conf/etc/nginx/conf.d/10-default.conf +++ /dev/null @@ -1,8 +0,0 @@ -## -# Virtual Host Redirection 80 to 443 -## -server { - listen 80 default_server; - server_name _; - return 301 https://$host$request_uri; -} -- cgit 1.4.1-2-gfad0 this.form.submit();'> Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.Kartik K. Agaram <vc@akkartik.com>
about summary refs log blame commit diff stats
path: root/html/083scenario_screen_test.mu.html
blob: cf661b808c9f33b4914738e05b6a94310a540c1a (plain) (tree) 
672e3e50 ^




c603cd6c ^

c762564b ^

a654e4ec ^

672e3e50 ^

e5c11a51 ^

ac07e589 ^

672e3e50 ^


ac07e589 ^


08a0eed6 ^

e4ac3c9e ^

c762564b ^

ac07e589 ^




672e3e50 ^


a654e4ec ^




e5c11a51 ^























a654e4ec ^


672e3e50 ^

e5c11a51 ^

e4ac3c9e ^

a654e4ec ^

204dae92 ^






805d58c6 ^

b301e0c0 ^

204dae92 ^


805d58c6 ^


204dae92 ^








b301e0c0 ^

204dae92 ^

b301e0c0 ^

204dae92 ^

b301e0c0 ^

204dae92 ^


805d58c6 ^



204dae92 ^


aac2775a ^





805d58c6 ^

b301e0c0 ^



aac2775a ^


805d58c6 ^


aac2775a ^


672e3e50 ^



a654e4ec ^

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
68

69
70
71
72
73
74
75
76

77

78

79

80

81

82
83

84
85
86

87
88

89
90
91
92
93

94

95
96
97

98
99

100
101

102
103

104
105
106

107