dot-is_deprecated function

Print a message saying that an argument is deprecated and that the user should use its replacement instead.

  • Maintainer: Etienne Bacher
  • License: MIT + file LICENSE
  • Last published: 2025-07-17