diff options
| author |  Benjamin Barenblat <bbaren@google.com> | 2019-02-13 20:46:54 -0500 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@google.com> | 2019-02-17 16:45:25 -0500 |
| commit | f8996ccd5b3e84e9f9eaa326b248812e1c5b9ae7 (patch) | |
| tree | 166df0d6cf7529f684a7a387e0991ed76a8f81e2 | |
| parent | f5ba2868cb61671d9ca537e3be427869ff4d7a5f (diff) | |
Update docs list
Upstream has switched to Markdown for their README.
| -rw-r--r-- | debian/libaac-tactics-coq.docs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/libaac-tactics-coq.docs b/debian/libaac-tactics-coq.docs index e845566..b43bf86 100644 --- a/debian/libaac-tactics-coq.docs +++ b/debian/libaac-tactics-coq.docs @@ -1 +1 @@ -README +README.md |