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

Branch: refs/heads/master Home: https://github.com/forge/docs Commit: bc6add8f599f6fc5ccc39df9a469f085fb79bcef https://github.com/forge/docs/commit/bc6add8f599f6fc5ccc39df9a469f085fb79... Author: Antonio Goncalves <antonio.goncalves(a)gmail.com&gt; Date: 2015-06-07 (Sun, 07 Jun 2015) Changed paths: M tutorials/forge-hol/scripts/generate.fsh Log Message: ----------- Using ~ instead of package name