diff options
| author | Josh Blum | 2013-08-04 18:02:04 -0700 |
|---|---|---|
| committer | Josh Blum | 2013-08-04 18:02:04 -0700 |
| commit | 21bb17612dec27213805321fb656788ec423453f (patch) | |
| tree | 8745dd03efe85f5c5a3fa6751d8807eb17d57e17 /grextras | |
| parent | 4e67133913229ed66abc9dd4aaa95b29b1ff9ede (diff) | |
| download | sandhi-21bb17612dec27213805321fb656788ec423453f.tar.gz sandhi-21bb17612dec27213805321fb656788ec423453f.tar.bz2 sandhi-21bb17612dec27213805321fb656788ec423453f.zip | |
gras: jit factory automatically adds GRAS_ROOT include path
Diffstat (limited to 'grextras')
| m--------- | grextras | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/grextras b/grextras -Subproject 08a5747bff911f3c8722224d3d2a4f2f8fa68b1 +Subproject 3aa900e4908d82d222806a3a7d17faf94505d86 |