Chimrod
e8b746742f
Update the compilation rule for git hash inclusion
|
1 rok temu | |
|---|---|---|
| .. | ||
| dune | 1 rok temu | |
| git_head.sh | 1 rok temu | |
|
Chimrod
e8b746742f
Update the compilation rule for git hash inclusion
|
1 rok temu | |
|---|---|---|
| .. | ||
| dune | 1 rok temu | |
| git_head.sh | 1 rok temu | |