Commit 7075e537 authored by John van Groningen's avatar John van Groningen
Browse files

remove //1.3 //3.1

parent 3131b74b
definition module backend;
//1.3
from StdString import String;
//3.1
:: CPtr (:== Int);
:: *UWorld :== Int;
:: *BackEnd (:== CPtr);
......
implementation module backend;
//1.3
from StdString import String;
//3.1
:: CPtr :== Int;
:: *UWorld :== Int;
:: *BackEnd :== CPtr;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment