diff options
| author | hallgren <hallgren@chalmers.se> | 2011-08-16 16:29:51 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-08-16 16:29:51 +0000 |
| commit | 4cad2daa299eeada33be819d3239ef6334147fd0 (patch) | |
| tree | 1a74f6e6191c0fb293fd6cd50bd8d96679407722 /src/editor/simple/editor.js | |
| parent | 37f8db4432fef53a72a9a79714ee7e0f21222a7b (diff) | |
minibar: adding pgf_offline.js
This file exports the same PGF runtime interface as pgf_online.js but calls
the hs2js translation of the PGF runtime library (which is not included
in darcs).
Diffstat (limited to 'src/editor/simple/editor.js')
0 files changed, 0 insertions, 0 deletions