diff options
| author | tslil clingman <tslil@posteo.de> | 2021-03-28 00:19:05 -0400 |
|---|---|---|
| committer | tslil <tslil@posteo.de> | 2021-03-28 00:19:05 -0400 |
| commit | b8a88e53aa2a933d39777ba435a6cad9f5c42428 (patch) | |
| tree | 6b90825474eb34e121b3788036ff0350484ae07b /resources/config-buildroot | |
| parent | dd25d66353121939a8f9b2bfe6a20f4100ff4976 (diff) | |
Fix copyright notice in files, and small preemptive optimisation
Eventually there'll be a more complicated data generation step than
the one we're presently using, so having it in-lined in the loop is
wasteful. Ideally also this would be update per ply and we could avoid
recalculating it entirely for every query -- though it's probably
``fast enough'' for now. Also, caching is WIP.
Diffstat (limited to 'resources/config-buildroot')
0 files changed, 0 insertions, 0 deletions
