diff options
author | Benjamin Barenblat <bbaren@mit.edu> | 2016-10-30 13:47:56 -0400 |
---|---|---|
committer | Benjamin Barenblat <bbaren@mit.edu> | 2016-10-30 13:47:56 -0400 |
commit | d1d071462a0a1520d94a029886093b558b24267d (patch) | |
tree | 3c5544842289a2545386e1dd518dc64edf9faf88 /mdl/mdlFfi.urs | |
parent | 9c9a28b92f55a8dd302cd964c66498d95c1b5bd3 (diff) |
Support saving new actions
Diffstat (limited to 'mdl/mdlFfi.urs')
-rw-r--r-- | mdl/mdlFfi.urs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/mdl/mdlFfi.urs b/mdl/mdlFfi.urs index 74dd636..6e8188a 100644 --- a/mdl/mdlFfi.urs +++ b/mdl/mdlFfi.urs @@ -12,4 +12,6 @@ under the License is distributed on an “AS IS” BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License. *) +val upgradeAllRegistered : transaction unit + val showSnackbar : string (* id *) -> string (* text *) -> transaction unit |