0780名無しさん@お腹いっぱい。垢版 | 大砲2018/09/17(月) 12:37:34.35ID:MqWTt49N0 easylistとかにある「|https://$third-party,xmlhttprequest,domain〜〜〜」の先頭の「|」はなんなの? 4chanで誤爆し始めて気になった 誤爆はまあ直せばいいんで構わないんだけど気になる 「||」みたいにすると続けてドメイン書けばその前が省略できたりセパレータとして使えるのも知ってるけどこれはどういう記法なの?