Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
scripts: Remove the old switch-timer-api script
This script has been useful for the timer API rewrite in 2013, but it is of no use anymore today. Let's remove it now. Message-Id: <20220124102001.35930-1-thuth@redhat.com> Signed-off-by: Thomas Huth <thuth@redhat.com>
- Loading branch information