Code

Wiktextract typing#432

Code

Merged

kristian-clausal merged 12 commits intomastertatuylonen/wiktextract:masterfrom wiktextract-typingtatuylonen/wiktextract:wiktextract-typingCopy head branch name to clipboardJan 3, 2024

+440-317

Commits

Commits on Dec 21, 2023

• --statistics never implemented, disabled

  Show description for 7c83565
  kristian-clausal

  committed
  7c83565

  Copy full SHA for 7c83565

• Wiktextract typing project start

  Show description for ba6871a
  kristian-clausal

  committed
  ba6871a

  Copy full SHA for ba6871a

Commits on Dec 22, 2023

• Predeclare WiktionaryConfig.POS_SUBTITLES (and others)

  kristian-clausal

  committed
  bfbf851

  Copy full SHA for bfbf851

• Merge branch 'master' of github.com:tatuylonen/wiktextract

  kristian-clausal

  committed
  f9db0e9

  Copy full SHA for f9db0e9

• Merge branch 'master' into wiktextract-typing

  kristian-clausal

  committed
  3b20f90

  Copy full SHA for 3b20f90

Commits on Jan 2, 2024

• Merge branch 'master' of github.com:tatuylonen/wiktextract

  kristian-clausal

  committed
  9bd7131

  Copy full SHA for 9bd7131

• Merge branch 'master' into wiktextract-typing

  kristian-clausal

  committed
  a722d28

  Copy full SHA for a722d28

• Type-checking and minor changes related to .get()

  Show description for 3bd2d86
  kristian-clausal

  committed
  3bd2d86

  Copy full SHA for 3bd2d86

• Minor typing stuff

  kristian-clausal

  committed
  0085a24

  Copy full SHA for 0085a24

• Merge branch 'master' of github.com:tatuylonen/wiktextract

  kristian-clausal

  committed
  3b6e0af

  Copy full SHA for 3b6e0af

• Remove unused global initialization function

  Show description for befd5d8
  kristian-clausal

  committed
  befd5d8

  Copy full SHA for befd5d8

• Merge branch 'master' into wiktextract-typing

  kristian-clausal

  committed
  8c87081

  Copy full SHA for 8c87081