[forge-commits] [forge/docs] bc6add: Using ~ instead of package name

[Antonio Goncalves]

  Branch: refs/heads/master
  Home:   https://github.com/forge/docs
  Commit: bc6add8f599f6fc5ccc39df9a469f085fb79bcef
      https://github.com/forge/docs/commit/bc6add8f599f6fc5ccc39df9a469f085fb79bcef
  Author: Antonio Goncalves <antonio.goncalves at gmail.com>
  Date:   2015-06-07 (Sun, 07 Jun 2015)

  Changed paths:
    M tutorials/forge-hol/scripts/generate.fsh

  Log Message:
  -----------
  Using ~ instead of package name