diff options
author | Vincent Ambo <mail@tazj.in> | 2021-09-11T13·57+0300 |
---|---|---|
committer | tazjin <mail@tazj.in> | 2021-09-11T14·00+0000 |
commit | c148f8925185734b9218023a31f177a933663776 (patch) | |
tree | d3a3ed27eb48c49f3270c07dd2793c998119cd91 /third_party/nix/.gitignore | |
parent | 5e61c5d246be50fbe1ba0e9152b99322b9b9ac46 (diff) |
fix(sourcegraph): Temporarily comment out our syntax highlighter r/2843
We changed away from the default sourcegraph one because it didn't support Nix, but it seems that there's been a change in the interaction protocol. Change-Id: I3a2691df6a87672cf83b819143f25d93d9cd6d13 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3531 Tested-by: BuildkiteCI Reviewed-by: eta <tvl@eta.st> Reviewed-by: sterni <sternenseemann@systemli.org>
Diffstat (limited to 'third_party/nix/.gitignore')
0 files changed, 0 insertions, 0 deletions