diff options
| author | Bruce Hill <bitbucket@bruce-hill.com> | 2018-09-10 16:26:08 -0700 |
|---|---|---|
| committer | Bruce Hill <bitbucket@bruce-hill.com> | 2018-09-10 16:26:27 -0700 |
| commit | 7c6047254e5aa7ce5a0667b14676b22a7447f956 (patch) | |
| tree | f98478e6c77257610e43dc45447cd23e91bdaaae /core/io.nom | |
| parent | c859eac2beb20889e162ca28f889cc02ac592266 (diff) | |
Upgraded to 3.8 (text method changes) and fixed some bugs in
tree_to_nomsu.
Diffstat (limited to 'core/io.nom')
| -rw-r--r-- | core/io.nom | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/core/io.nom b/core/io.nom index e47554f..d656419 100644 --- a/core/io.nom +++ b/core/io.nom @@ -1,4 +1,4 @@ -#!/usr/bin/env nomsu -V3.7.5.6 +#!/usr/bin/env nomsu -V3.8.7.6 # This file contains basic input/output code |