Rebuild patches after we continue from a paper edit.
This commit is contained in:
parent
51af958804
commit
7effde04b1
11 changed files with 44 additions and 35 deletions
|
@ -1,7 +1,7 @@
|
|||
#!/usr/bin/env bash
|
||||
|
||||
PS1="$"
|
||||
basedir="$1"
|
||||
basedir=$(realpath "$1")
|
||||
workdir="$basedir/work"
|
||||
|
||||
function update {
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue