merge(3p/immer): Subtree merge at 'ad3e3556d' as 'third_party/immer'

Change-Id: I9636a41ad44b4218293833fd3e9456d9b07c731b
This commit is contained in:
Vincent Ambo 2020-07-15 08:20:18 +01:00
commit 1213b086a1
311 changed files with 74223 additions and 0 deletions

5
third_party/immer/tools/with-tee.bash vendored Executable file
View file

@ -0,0 +1,5 @@
#!/bin/bash
echo "${@:2} | tee $1"
${@:2} | tee $1