diff options
| author | hallgren <hallgren@chalmers.se> | 2010-12-17 16:43:11 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2010-12-17 16:43:11 +0000 |
| commit | 65b717c3627a027e17cfa5bee48ffd9aeb963180 (patch) | |
| tree | 129d00d18e6dc24533d30a833255860cc76be1c5 /examples/tutorial/old/semantics/Answer.hs | |
| parent | 9ad094577aa7f2137e0b5a8b1b15b25bb6c74802 (diff) | |
minibar.html: omit explicit grammars_url option
The grammars will then by default be fetched from the same server as
minibar.html. This means that everything will be served locally when accessing
minibar through a locally running pgf-http.
Diffstat (limited to 'examples/tutorial/old/semantics/Answer.hs')
0 files changed, 0 insertions, 0 deletions