changeset 9990 | c8443c53eb33 |
parent 9989 | a9695e8dc8d2 |
child 10037 | e8c7fe93f5dd |
child 10041 | 82d062e36e96 |
9989:a9695e8dc8d2 | 9990:c8443c53eb33 |
---|---|
211 ["+rnd+", "0", "0", "seed", "0"] |
211 ["+rnd+", "0", "0", "seed", "0"] |
212 ) |
212 ) |
213 ( |
213 ( |
214 Map.fromList $ Prelude.zip |
214 Map.fromList $ Prelude.zip |
215 ["SCHEME", "SCRIPT", "Theme"] |
215 ["SCHEME", "SCRIPT", "Theme"] |
216 [["Default"], ["Normal"], "Theme"] |
216 [["Default"], ["Normal"], ["Theme"]] |
217 ) |
217 ) |
218 |
218 |
219 |
219 |
220 data StatisticsInfo = |
220 data StatisticsInfo = |
221 StatisticsInfo |
221 StatisticsInfo |