]> git.neil.brown.name Git - ocean/commit
projects / ocean / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 23eff3d) | patch
Rename string.h and number.h headers
authorNeilBrown <neil@brown.name>
Fri, 11 Sep 2020 07:53:49 +0000 (17:53 +1000)
committerNeilBrown <neil@brown.name>
Fri, 11 Sep 2020 07:53:49 +0000 (17:53 +1000)
commit74275b2e557383a028515ca4dacdf07cb4858aa1
treee68317c590979d56faa3cdc9f964d84086d53545tree | snapshot
parent23eff3db9345ded5920fba114c0b411466c7cbf9commit | diff
Rename string.h and number.h headers

Having a "string.h" is potentially confusing as there
is a standard <string.h>
So rename it and for consistency, rename number.h too.

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