]> git.neil.brown.name Git - ocean/commit
projects / ocean / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 39f272e) | patch
oceani: remove to_int to_float to_mpq
authorNeilBrown <neil@brown.name>
Mon, 27 Dec 2021 23:10:04 +0000 (10:10 +1100)
committerNeilBrown <neil@brown.name>
Mon, 27 Dec 2021 23:10:04 +0000 (10:10 +1100)
commit444e9b6e7cbe3f6b8968a275ddc6fe49c94d552e
tree57caa55a8915a32087e5816c2fd28803bb8b1689tree | snapshot
parent39f272e16649c2fe49184d31f668471ff49ee9edcommit | diff
oceani: remove to_int to_float to_mpq

These aren't used.  Remove them.

Signed-off-by: NeilBrown <neil@brown.name>
csrc/oceani.mdc diff | blob | history
The Ocean Language Project