]> gitweb.michael.orlitzky.com - sage.d.git/commit
makefile: timeout overrides should no longer be necessary
authorMichael Orlitzky <michael@orlitzky.com>
Sat, 18 May 2024 21:11:05 +0000 (17:11 -0400)
committerMichael Orlitzky <michael@orlitzky.com>
Sat, 18 May 2024 21:11:05 +0000 (17:11 -0400)
commit88dfaad8341867d1df155feaf2591a9acc1157a1
treeae8ba1075d446e0fb4be81b68e7a9439261d1950
parent31f49a9d987fe26c15e780fbcca74831bff56a9f
makefile: timeout overrides should no longer be necessary
makefile