commit 7558ed2a17bbec858afde55453f979acc9e627cb
author Davide Pesavento <davidepesa@gmail.com> Wed Mar 13 18:28:07 2024 -0400
committer Davide Pesavento <davidepesa@gmail.com> Wed Mar 13 18:28:07 2024 -0400
tree 0c8821c199552de524da832df6fead4232d3bff8
parent 2620684edebfc928a30be2a962727a92ebbf5c27

build: update sphinx tool

Use the improved version from the ndn-cxx repository

Refs: #5298
Change-Id: I41714a3f4bfa65fee0baa521fa21e1a76071b405

.waf-tools/sanitizers.py

diff --git a/.waf-tools/sanitizers.py b/.waf-tools/sanitizers.py
index a8fe55d..c65d009 100644
--- a/.waf-tools/sanitizers.py
+++ b/.waf-tools/sanitizers.py
@@ -1,4 +1,4 @@
-# -*- Mode: python; py-indent-offset: 4; indent-tabs-mode: nil; coding: utf-8; -*-
+# Davide Pesavento (LIP6), 2016
 
 def options(opt):
     opt.add_option('--with-sanitizer', action='store', default='', dest='sanitizers',