]> git.zerfleddert.de Git - micropolis/commit
remove outdated and unused .dif-files
authorMichael Gernoth <michael@gernoth.net>
Sat, 4 Jun 2022 09:26:39 +0000 (11:26 +0200)
committerMichael Gernoth <michael@gernoth.net>
Sat, 4 Jun 2022 09:26:39 +0000 (11:26 +0200)
commit34e37af786a9743ebe7bd76a518911affb9db72b
treeaf6ec482963758044ecd04588ef1f3e823ab8671
parent2647c123bd2f34f4147f06bed6f936cc122636e3
remove outdated and unused .dif-files
src/tclx/tkucbsrc/main.dif [deleted file]
src/tclx/tkucbsrc/tkevent.dif [deleted file]
src/tclx/ucbsrc/tclbasic.dif [deleted file]
src/tclx/ucbsrc/tclexpr.dif [deleted file]
Impressum, Datenschutz