r7rs-wg1-infra /

Filename Size Date modified Message
4.9 KB
got rid of intermediate [# artifacts
35 B
remove some junk, convert to actual Markdown
6.8 KB
remove some junk, convert to actual Markdown
6.4 KB
remove some junk, convert to actual Markdown
7.5 KB
remove some junk, convert to actual Markdown
5.5 KB
remove some junk, convert to actual Markdown
5.1 KB
remove some junk, convert to actual Markdown
2.4 KB
remove some junk, convert to actual Markdown
1.7 KB
remove some junk, convert to actual Markdown
298 B
remove some junk, convert to actual Markdown
694 B
remove some junk, convert to actual Markdown
1.1 KB
remove some junk, convert to actual Markdown
976 B
remove some junk, convert to actual Markdown
3.6 KB
remove some junk, convert to actual Markdown
20.7 KB
got rid of intermediate [# artifacts
2.3 KB
remove some junk, convert to actual Markdown
4.0 KB
got rid of intermediate [# artifacts
499 B
remove some junk, convert to actual Markdown
16.4 KB
got rid of intermediate [# artifacts
1.5 KB
remove some junk, convert to actual Markdown
1.6 KB
remove some junk, convert to actual Markdown
3.4 KB
remove some junk, convert to actual Markdown
2.8 KB
got rid of intermediate [# artifacts
120 B
remove some junk, convert to actual Markdown
1.0 KB
got rid of intermediate [# artifacts
3.6 KB
remove some junk, convert to actual Markdown
75 B
remove some junk, convert to actual Markdown
22.3 KB
got rid of intermediate [# artifacts
125 B
remove some junk, convert to actual Markdown
563 B
remove some junk, convert to actual Markdown
5.6 KB
remove some junk, convert to actual Markdown
125 B
remove some junk, convert to actual Markdown
785 B
remove some junk, convert to actual Markdown
4.7 KB
remove some junk, convert to actual Markdown
65 B
remove some junk, convert to actual Markdown
1.4 KB
remove some junk, convert to actual Markdown
31 B
remove some junk, convert to actual Markdown
1.7 KB
remove some junk, convert to actual Markdown
3.1 KB
got rid of intermediate [# artifacts
163 B
remove some junk, convert to actual Markdown
809 B
remove some junk, convert to actual Markdown
1.4 KB
remove some junk, convert to actual Markdown
2.1 KB
remove some junk, convert to actual Markdown
5.8 KB
remove some junk, convert to actual Markdown
250 B
remove some junk, convert to actual Markdown
3.7 KB
got rid of intermediate [# artifacts
1.1 KB
remove some junk, convert to actual Markdown
65 B
remove some junk, convert to actual Markdown
1.8 KB
remove some junk, convert to actual Markdown
441 B
remove some junk, convert to actual Markdown
8.7 KB
remove some junk, convert to actual Markdown
5.2 KB
got rid of intermediate [# artifacts
438 B
remove some junk, convert to actual Markdown
80 B
remove some junk, convert to actual Markdown
1.1 KB
remove some junk, convert to actual Markdown
1.8 KB
remove some junk, convert to actual Markdown
1.2 KB
remove some junk, convert to actual Markdown
2.7 KB
remove some junk, convert to actual Markdown
9.0 KB
remove some junk, convert to actual Markdown
227 B
remove some junk, convert to actual Markdown
844 B
remove some junk, convert to actual Markdown
3.5 KB
remove some junk, convert to actual Markdown
408 B
remove some junk, convert to actual Markdown
45 B
remove some junk, convert to actual Markdown
8.9 KB
got rid of intermediate [# artifacts
109 B
remove some junk, convert to actual Markdown
6.0 KB
remove some junk, convert to actual Markdown
440 B
remove some junk, convert to actual Markdown
899 B
remove some junk, convert to actual Markdown
7.0 KB
remove some junk, convert to actual Markdown
74 B
remove some junk, convert to actual Markdown
3.8 KB
remove some junk, convert to actual Markdown
6.1 KB
got rid of intermediate [# artifacts
754 B
remove some junk, convert to actual Markdown
1.5 KB
remove some junk, convert to actual Markdown
729 B
remove some junk, convert to actual Markdown
633 B
remove some junk, convert to actual Markdown
1.3 KB
remove some junk, convert to actual Markdown
731 B
remove some junk, convert to actual Markdown
8.9 KB
got rid of intermediate [# artifacts
2.4 KB
remove some junk, convert to actual Markdown
547 B
remove some junk, convert to actual Markdown
9.7 KB
remove some junk, convert to actual Markdown
7.1 KB
remove some junk, convert to actual Markdown
2.2 KB
remove some junk, convert to actual Markdown
367 B
remove some junk, convert to actual Markdown
1.1 KB
remove some junk, convert to actual Markdown
775 B
remove some junk, convert to actual Markdown
602 B
remove some junk, convert to actual Markdown
532 B
remove some junk, convert to actual Markdown
2.9 KB
remove some junk, convert to actual Markdown
7.2 KB
remove some junk, convert to actual Markdown
65 B
remove some junk, convert to actual Markdown
64 B
remove some junk, convert to actual Markdown
5.8 KB
remove some junk, convert to actual Markdown
3.6 KB
remove some junk, convert to actual Markdown
817 B
remove some junk, convert to actual Markdown
4.2 KB
remove some junk, convert to actual Markdown
7.1 KB
remove some junk, convert to actual Markdown
1.6 KB
remove some junk, convert to actual Markdown
724 B
remove some junk, convert to actual Markdown
938 B
remove some junk, convert to actual Markdown
5.2 KB
remove some junk, convert to actual Markdown
6.5 KB
remove some junk, convert to actual Markdown
1.2 KB
remove some junk, convert to actual Markdown
495 B
remove some junk, convert to actual Markdown
1.8 KB
remove some junk, convert to actual Markdown
65 B
remove some junk, convert to actual Markdown
1.9 KB
remove some junk, convert to actual Markdown
5.8 KB
got rid of intermediate [# artifacts
214 B
remove some junk, convert to actual Markdown
5.8 KB
remove some junk, convert to actual Markdown
1.6 KB
remove some junk, convert to actual Markdown
6.6 KB
remove some junk, convert to actual Markdown
3.7 KB
remove some junk, convert to actual Markdown
2.3 KB
remove some junk, convert to actual Markdown
12.2 KB
remove some junk, convert to actual Markdown
561 B
remove some junk, convert to actual Markdown
5.6 KB
remove some junk, convert to actual Markdown
100 B
remove some junk, convert to actual Markdown
66 B
remove some junk, convert to actual Markdown
65 B
remove some junk, convert to actual Markdown
32 B
remove some junk, convert to actual Markdown
801 B
remove some junk, convert to actual Markdown
4.0 KB
got rid of intermediate [# artifacts
1.5 KB
remove some junk, convert to actual Markdown
2.1 KB
remove some junk, convert to actual Markdown
1.3 KB
remove some junk, convert to actual Markdown
420 B
remove some junk, convert to actual Markdown
242 B
remove some junk, convert to actual Markdown
65 B
remove some junk, convert to actual Markdown
6.6 KB
remove some junk, convert to actual Markdown
781 B
remove some junk, convert to actual Markdown
569 B
remove some junk, convert to actual Markdown
2.1 KB
remove some junk, convert to actual Markdown
159 B
remove some junk, convert to actual Markdown
8.4 KB
got rid of intermediate [# artifacts
15.7 KB
got rid of intermediate [# artifacts
65 B
remove some junk, convert to actual Markdown
8.8 KB
remove some junk, convert to actual Markdown
17.5 KB
got rid of intermediate [# artifacts
705 B
remove some junk, convert to actual Markdown
5.0 KB
remove some junk, convert to actual Markdown
7.0 KB
remove some junk, convert to actual Markdown
913 B
remove some junk, convert to actual Markdown
3.1 KB
remove some junk, convert to actual Markdown
556 B
remove some junk, convert to actual Markdown
664 B
remove some junk, convert to actual Markdown
453 B
remove some junk, convert to actual Markdown
610 B
remove some junk, convert to actual Markdown
245 B
remove some junk, convert to actual Markdown
6.4 KB
got rid of intermediate [# artifacts
45 B
remove some junk, convert to actual Markdown
2.5 KB
remove some junk, convert to actual Markdown
3.3 KB
remove some junk, convert to actual Markdown
1.4 KB
remove some junk, convert to actual Markdown
186 B
remove some junk, convert to actual Markdown
4.7 KB
remove some junk, convert to actual Markdown
29 B
remove some junk, convert to actual Markdown
9.8 KB
got rid of intermediate [# artifacts
5.2 KB
remove some junk, convert to actual Markdown
1.0 KB
remove some junk, convert to actual Markdown
3.1 KB
remove some junk, convert to actual Markdown
7.4 KB
remove some junk, convert to actual Markdown
202 B
remove some junk, convert to actual Markdown
467 B
remove some junk, convert to actual Markdown
65 B
remove some junk, convert to actual Markdown
1.1 KB
remove some junk, convert to actual Markdown
2.4 KB
remove some junk, convert to actual Markdown
1.8 KB
remove some junk, convert to actual Markdown
784 B
remove some junk, convert to actual Markdown
863 B
remove some junk, convert to actual Markdown
6.0 KB
remove some junk, convert to actual Markdown
146 B
remove some junk, convert to actual Markdown
179 B
remove some junk, convert to actual Markdown
1.2 KB
remove some junk, convert to actual Markdown
15.9 KB
remove some junk, convert to actual Markdown
1.5 KB
remove some junk, convert to actual Markdown
65 B
remove some junk, convert to actual Markdown
604 B
remove some junk, convert to actual Markdown
218 B
remove some junk, convert to actual Markdown
1.8 KB
remove some junk, convert to actual Markdown
1.2 KB
got rid of intermediate [# artifacts
2.2 KB
remove some junk, convert to actual Markdown
16.8 KB
remove some junk, convert to actual Markdown
939 B
remove some junk, convert to actual Markdown
458 B
remove some junk, convert to actual Markdown
4.2 KB
remove some junk, convert to actual Markdown
1.4 KB
remove some junk, convert to actual Markdown
450 B
remove some junk, convert to actual Markdown
3.4 KB
remove some junk, convert to actual Markdown
1.7 KB
remove some junk, convert to actual Markdown
976 B
remove some junk, convert to actual Markdown
789 B
remove some junk, convert to actual Markdown
1.5 KB
remove some junk, convert to actual Markdown
3.2 KB
remove some junk, convert to actual Markdown
111 B
remove some junk, convert to actual Markdown
3.8 KB
remove some junk, convert to actual Markdown
10.3 KB
remove some junk, convert to actual Markdown
7.0 KB
remove some junk, convert to actual Markdown
9.2 KB
remove some junk, convert to actual Markdown
1.1 KB
remove some junk, convert to actual Markdown
783 B
remove some junk, convert to actual Markdown
4.7 KB
remove some junk, convert to actual Markdown
1.6 KB
remove some junk, convert to actual Markdown
45 B
remove some junk, convert to actual Markdown
30 B
got rid of intermediate [# artifacts
211 B
remove some junk, convert to actual Markdown
624 B
remove some junk, convert to actual Markdown
1.2 KB
remove some junk, convert to actual Markdown
809 B
remove some junk, convert to actual Markdown
21 B
remove some junk, convert to actual Markdown
3.0 KB
remove some junk, convert to actual Markdown
2.1 KB
remove some junk, convert to actual Markdown
742 B
remove some junk, convert to actual Markdown
2.6 KB
remove some junk, convert to actual Markdown
5.6 KB
remove some junk, convert to actual Markdown
45 B
remove some junk, convert to actual Markdown
794 B
remove some junk, convert to actual Markdown
3.3 KB
remove some junk, convert to actual Markdown
3.0 KB
remove some junk, convert to actual Markdown
65 B
remove some junk, convert to actual Markdown
1.2 KB
remove some junk, convert to actual Markdown
32 B
remove some junk, convert to actual Markdown
877 B
remove some junk, convert to actual Markdown
977 B
remove some junk, convert to actual Markdown
155 B
remove some junk, convert to actual Markdown
529 B
remove some junk, convert to actual Markdown
882 B
remove some junk, convert to actual Markdown
3.4 KB
remove some junk, convert to actual Markdown
2.5 KB
got rid of intermediate [# artifacts
6.3 KB
remove some junk, convert to actual Markdown
1.6 KB
remove some junk, convert to actual Markdown
9.5 KB
remove some junk, convert to actual Markdown
3.8 KB
remove some junk, convert to actual Markdown
156 B
remove some junk, convert to actual Markdown
9.2 KB
remove some junk, convert to actual Markdown
32 B
remove some junk, convert to actual Markdown
794 B
remove some junk, convert to actual Markdown
257 B
remove some junk, convert to actual Markdown
2.1 KB
remove some junk, convert to actual Markdown
7.6 KB
remove some junk, convert to actual Markdown
5.0 KB
remove some junk, convert to actual Markdown
24 B
remove some junk, convert to actual Markdown
4.8 KB
remove some junk, convert to actual Markdown
3.4 KB
remove some junk, convert to actual Markdown
10.9 KB
got rid of intermediate [# artifacts
2.1 KB
remove some junk, convert to actual Markdown
86 B
remove some junk, convert to actual Markdown
487 B
remove some junk, convert to actual Markdown
7.5 KB
remove some junk, convert to actual Markdown
175 B
remove some junk, convert to actual Markdown
1.2 KB
remove some junk, convert to actual Markdown
2.1 KB
remove some junk, convert to actual Markdown
795 B
remove some junk, convert to actual Markdown
25 B
remove some junk, convert to actual Markdown
3.6 KB
remove some junk, convert to actual Markdown
7.8 KB
remove some junk, convert to actual Markdown
75 B
remove some junk, convert to actual Markdown
41 B
remove some junk, convert to actual Markdown
711 B
remove some junk, convert to actual Markdown
5.2 KB
remove some junk, convert to actual Markdown
1.6 KB
trying to prevent creating a list
6.3 KB
trying to prevent creating a list
190 B
remove some junk, convert to actual Markdown
866 B
remove some junk, convert to actual Markdown
2.4 KB
remove some junk, convert to actual Markdown
190 B
remove some junk, convert to actual Markdown
4.7 KB
remove some junk, convert to actual Markdown
1.2 KB
remove some junk, convert to actual Markdown
368 B
remove some junk, convert to actual Markdown
863 B
remove some junk, convert to actual Markdown
800 B
remove some junk, convert to actual Markdown
2.6 KB
remove some junk, convert to actual Markdown
5.6 KB
remove some junk, convert to actual Markdown
5.6 KB
remove some junk, convert to actual Markdown
18.9 KB
got rid of intermediate [# artifacts
1.4 KB
remove some junk, convert to actual Markdown
583 B
remove some junk, convert to actual Markdown
89 B
remove some junk, convert to actual Markdown
7.8 KB
remove some junk, convert to actual Markdown
25 B
remove some junk, convert to actual Markdown
651 B
remove some junk, convert to actual Markdown
2.7 KB
remove some junk, convert to actual Markdown
2.1 KB
remove some junk, convert to actual Markdown
2.9 KB
remove some junk, convert to actual Markdown
3.7 KB
got rid of intermediate [# artifacts
2.7 KB
got rid of intermediate [# artifacts
1.5 KB
remove some junk, convert to actual Markdown
196 B
remove some junk, convert to actual Markdown
6.2 KB
remove some junk, convert to actual Markdown
601 B
remove some junk, convert to actual Markdown
6.3 KB
remove some junk, convert to actual Markdown
1.2 KB
remove some junk, convert to actual Markdown
3.6 KB
remove some junk, convert to actual Markdown
1.9 KB
remove some junk, convert to actual Markdown
245 B
remove some junk, convert to actual Markdown
84 B
remove some junk, convert to actual Markdown
552 B
remove some junk, convert to actual Markdown
510 B
remove some junk, convert to actual Markdown
65 B
remove some junk, convert to actual Markdown
8.6 KB
remove some junk, convert to actual Markdown
1.5 KB
remove some junk, convert to actual Markdown
793 B
remove some junk, convert to actual Markdown
20.9 KB
remove some junk, convert to actual Markdown
360 B
remove some junk, convert to actual Markdown
40.0 KB
remove some junk, convert to actual Markdown
15.3 KB
remove some junk, convert to actual Markdown
15.5 KB
remove some junk, convert to actual Markdown
60 B
remove some junk, convert to actual Markdown
666 B
remove some junk, convert to actual Markdown
2.5 KB
got rid of intermediate [# artifacts
6.0 KB
remove some junk, convert to actual Markdown
2.1 KB
remove some junk, convert to actual Markdown
341 B
remove some junk, convert to actual Markdown
100 B
remove some junk, convert to actual Markdown
100 B
remove some junk, convert to actual Markdown
4.0 KB
remove some junk, convert to actual Markdown
868 B
remove some junk, convert to actual Markdown
1.8 KB
remove some junk, convert to actual Markdown
29 B
remove some junk, convert to actual Markdown
4.6 KB
got rid of intermediate [# artifacts
92 B
remove some junk, convert to actual Markdown
7.5 KB
remove some junk, convert to actual Markdown
15.4 KB
remove some junk, convert to actual Markdown
32.3 KB
got rid of intermediate [# artifacts
1.0 KB
remove some junk, convert to actual Markdown
1.2 KB
remove some junk, convert to actual Markdown
2.6 KB
remove some junk, convert to actual Markdown
81 B
remove some junk, convert to actual Markdown
1.6 KB
remove some junk, convert to actual Markdown
5.1 KB
got rid of intermediate [# artifacts
274 B
remove some junk, convert to actual Markdown
3.0 KB
remove some junk, convert to actual Markdown
700 B
remove some junk, convert to actual Markdown
6.2 KB
got rid of intermediate [# artifacts
8.9 KB
got rid of intermediate [# artifacts
300 B
remove some junk, convert to actual Markdown
6.0 KB
got rid of intermediate [# artifacts
12.2 KB
got rid of intermediate [# artifacts
243 B
remove some junk, convert to actual Markdown
3.0 KB
got rid of intermediate [# artifacts
181 B
remove some junk, convert to actual Markdown
502 B
remove some junk, convert to actual Markdown
1.4 KB
remove some junk, convert to actual Markdown
7.1 KB
got rid of intermediate [# artifacts
644 B
remove some junk, convert to actual Markdown
5.6 KB
remove some junk, convert to actual Markdown
5.7 KB
remove some junk, convert to actual Markdown
2.3 KB
remove some junk, convert to actual Markdown
3.4 KB
remove some junk, convert to actual Markdown
8.5 KB
remove some junk, convert to actual Markdown
618 B
remove some junk, convert to actual Markdown
547 B
remove some junk, convert to actual Markdown
5.8 KB
remove some junk, convert to actual Markdown
65 B
remove some junk, convert to actual Markdown
451 B
remove some junk, convert to actual Markdown
265 B
remove some junk, convert to actual Markdown
4.8 KB
remove some junk, convert to actual Markdown
21.1 KB
remove some junk, convert to actual Markdown
1.6 KB
remove some junk, convert to actual Markdown
1.6 KB
remove some junk, convert to actual Markdown
21.9 KB
remove some junk, convert to actual Markdown
19.6 KB
remove some junk, convert to actual Markdown
20.4 KB
remove some junk, convert to actual Markdown
24.9 KB
remove some junk, convert to actual Markdown
24.5 KB
remove some junk, convert to actual Markdown
29.1 KB
remove some junk, convert to actual Markdown
21.7 KB
remove some junk, convert to actual Markdown
25.9 KB
remove some junk, convert to actual Markdown
23.4 KB
remove some junk, convert to actual Markdown
21.7 KB
remove some junk, convert to actual Markdown
72.7 KB
remove some junk, convert to actual Markdown
23.8 KB
remove some junk, convert to actual Markdown
14.5 KB
got rid of intermediate [# artifacts
19.2 KB
got rid of intermediate [# artifacts
16.9 KB
got rid of intermediate [# artifacts
22.3 KB
remove some junk, convert to actual Markdown
21.7 KB
remove some junk, convert to actual Markdown
30.5 KB
remove some junk, convert to actual Markdown
32.6 KB
remove some junk, convert to actual Markdown
35.1 KB
remove some junk, convert to actual Markdown
81.8 KB
remove some junk, convert to actual Markdown
37.7 KB
remove some junk, convert to actual Markdown
46.0 KB
remove some junk, convert to actual Markdown
52.4 KB
remove some junk, convert to actual Markdown
45.5 KB
remove some junk, convert to actual Markdown
123.4 KB
remove some junk, convert to actual Markdown
51.9 KB
remove some junk, convert to actual Markdown
27.1 KB
remove some junk, convert to actual Markdown
29.2 KB
remove some junk, convert to actual Markdown
31.4 KB
remove some junk, convert to actual Markdown
29.7 KB
remove some junk, convert to actual Markdown
60.7 KB
remove some junk, convert to actual Markdown
31.1 KB
remove some junk, convert to actual Markdown
48.1 KB
got rid of intermediate [# artifacts
61.2 KB
got rid of intermediate [# artifacts
110.5 KB
got rid of intermediate [# artifacts
54.6 KB
got rid of intermediate [# artifacts
50.7 KB
got rid of intermediate [# artifacts
0 B
converting to markdown
66.1 KB
got rid of intermediate [# artifacts
140.6 KB
got rid of intermediate [# artifacts
60.2 KB
got rid of intermediate [# artifacts
5.9 KB
remove some junk, convert to actual Markdown
6.5 KB
remove some junk, convert to actual Markdown
11.6 KB
remove some junk, convert to actual Markdown
1.6 KB
remove some junk, convert to actual Markdown
5.6 KB
remove some junk, convert to actual Markdown
1.9 KB
remove some junk, convert to actual Markdown
8.6 KB
remove some junk, convert to actual Markdown
5.6 KB
remove some junk, convert to actual Markdown
19.6 KB
remove some junk, convert to actual Markdown
1.0 KB
remove some junk, convert to actual Markdown
4.9 KB
remove some junk, convert to actual Markdown
5.3 KB
remove some junk, convert to actual Markdown
21.6 KB
remove some junk, convert to actual Markdown
5.2 KB
remove some junk, convert to actual Markdown
5.3 KB
remove some junk, convert to actual Markdown
5.7 KB
remove some junk, convert to actual Markdown
29.8 KB
remove some junk, convert to actual Markdown
48.7 KB
got rid of intermediate [# artifacts
54.1 KB
got rid of intermediate [# artifacts
4.9 KB
remove some junk, convert to actual Markdown
52.7 KB
got rid of intermediate [# artifacts
4.9 KB
remove some junk, convert to actual Markdown
622 B
remove some junk, convert to actual Markdown
30 B
remove some junk, convert to actual Markdown
34.0 KB
remove some junk, convert to actual Markdown
14.5 KB
got rid of intermediate [# artifacts
6.4 KB
remove some junk, convert to actual Markdown
16.9 KB
got rid of intermediate [# artifacts
5.5 KB
remove some junk, convert to actual Markdown
21.7 KB
remove some junk, convert to actual Markdown
2.2 KB
remove some junk, convert to actual Markdown
5.5 KB
remove some junk, convert to actual Markdown
6.1 KB
remove some junk, convert to actual Markdown
8.7 KB
remove some junk, convert to actual Markdown
7.1 KB
remove some junk, convert to actual Markdown
6.5 KB
remove some junk, convert to actual Markdown
5.8 KB
remove some junk, convert to actual Markdown
0 B
converting to markdown
5.7 KB
remove some junk, convert to actual Markdown
7.8 KB
remove some junk, convert to actual Markdown
32 B
remove some junk, convert to actual Markdown
8.3 KB
remove some junk, convert to actual Markdown
701 B
remove some junk, convert to actual Markdown
7.0 KB
remove some junk, convert to actual Markdown
1.3 KB
remove some junk, convert to actual Markdown
414 B
remove some junk, convert to actual Markdown
567 B
remove some junk, convert to actual Markdown
2.2 KB
remove some junk, convert to actual Markdown
1.5 KB
remove some junk, convert to actual Markdown
1.9 KB
remove some junk, convert to actual Markdown
8.4 KB
remove some junk, convert to actual Markdown