increase to 10000 at a time
authorRalph Ronnquist <ralph.ronnquist@gmail.com>
Sun, 9 Jan 2022 00:42:04 +0000 (11:42 +1100)
committerRalph Ronnquist <ralph.ronnquist@gmail.com>
Sun, 9 Jan 2022 00:42:04 +0000 (11:42 +1100)
commit6ee1c6bada019d1fccdbe9706265a0beea1f5f48
tree572ef3093773727d5d61e7888ef5d9f0dd88b82e
parent4112d84d6cfd188daeff79d64a86e1b4d02248b8
increase to 10000 at a time
autorecommended.lsp