diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-11-07 07:33:55 +0100 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-11-18 14:18:13 +0100 |
| commit | df04191b48350b76a7650cccc68c9dfc60447787 (patch) | |
| tree | d62408598005d93426eaa495c18e8552a94f9885 /dev/make-macos-dmg.sh | |
| parent | c71aa6bd368b801bb17d4da69d1ab1e2bd7cbf39 (diff) | |
Slightly documenting code for building primitive projections.
Diffstat (limited to 'dev/make-macos-dmg.sh')
0 files changed, 0 insertions, 0 deletions