Show notes in the embedder shell. (In a new file.) #103

SimonSapin · 2012-09-25T16:44:41Z

As discussed in #101

Hopefull this can help git tracking the file’s history.

As discussed in paulrouget#101

hsablonniere · 2012-09-28T07:21:18Z

I'll review your code ASAP, thx.

SimonSapin · 2012-09-28T07:24:40Z

The first commit makes a copy without changes of embedder.html, so the second commit is hopefully easier to review.

SimonSapin added 2 commits September 25, 2012 18:38

Copy the embedder shell before making edits.

0023714

Hopefull this can help git tracking the file’s history.

Show notes in the embedder shell. (In a new file.)

bf13721

As discussed in paulrouget#101

Provide feedback