From eabbae7e395787db0af04732a2689a2692d57aa9 Mon Sep 17 00:00:00 2001 From: Tej Chajed Date: Fri, 7 Feb 2020 16:23:31 -0500 Subject: [PATCH] Remove redundant title --- modules/lang/fstar/README.org | 2 -- 1 file changed, 2 deletions(-) diff --git a/modules/lang/fstar/README.org b/modules/lang/fstar/README.org index e40b253cc..30b025eaa 100644 --- a/modules/lang/fstar/README.org +++ b/modules/lang/fstar/README.org @@ -1,5 +1,3 @@ -#+TITLE: :lang fstar - #+TITLE: lang/fstar #+DATE: February 2, 2020 #+SINCE: 2.0.10