diff options
Diffstat (limited to '2022/organizers-notebook.md')
| -rw-r--r-- | 2022/organizers-notebook.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/2022/organizers-notebook.md b/2022/organizers-notebook.md index 08118dcc..5577e8fb 100644 --- a/2022/organizers-notebook.md +++ b/2022/organizers-notebook.md @@ -2312,7 +2312,7 @@ Probably focus on grabbing the audio first and seeing what’s worth keeping Make a table of the form -<table id="org8eb532e" border="2" cellspacing="0" cellpadding="6" rules="groups" frame="hsides"> +<table id="org46d7f0c" border="2" cellspacing="0" cellpadding="6" rules="groups" frame="hsides"> <colgroup> @@ -3919,7 +3919,7 @@ chatter in the other lists Cc’d on this message. Thank you. #!/usr/bin/env sh - set -xeu + set -eu sleep_duration=1800 |