Merge commit 'f2cdd4a78d
' into sync_cg_clif-2022-04-22
This commit is contained in:
parent
a923e9211a
commit
32202f20cd
21 changed files with 189 additions and 142 deletions
|
@ -1,4 +1,4 @@
|
|||
#!/bin/bash
|
||||
#!/usr/bin/env bash
|
||||
#![forbid(unsafe_code)]/* This line is ignored by bash
|
||||
# This block is ignored by rustc
|
||||
pushd $(dirname "$0")/../
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue